ROOT 350 Bytes
Newer Older
Gerwin Klein's avatar
Gerwin Klein committed
1
2
chapter AFP

3
4
session "BTree" (AFP) = "Refine_Imperative_HOL" +
  options [timeout = 600, document = pdf]
Gerwin Klein's avatar
Gerwin Klein committed
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
  sessions
    "HOL-Data_Structures"
  theories
    BTree
    BTree_Height
    BTree_Set
    BTree_Split
    Array_SBlit
    Partially_Filled_Array
    BTree_Imp
    BTree_ImpSet
    BTree_ImpSplit
  document_files
    "root.tex"
    "root.bib"