1 session "Session" in "ProgTutorial" = HOL + |
1 session "Cookbook" in "ProgTutorial" = HOL + |
|
2 options [document = pdf, browser_info = false, document_output = ".."] |
2 theories [document = false] |
3 theories [document = false] |
3 "Base" |
4 "Base" |
4 "Package/Simple_Inductive_Package" |
5 "Package/Simple_Inductive_Package" |
5 "~~/src/HOL/Number_Theory/Primes" |
6 theories [quick_and_dirty, document = true] |
6 "~~/src/HOL/Library/Code_Target_Numeral" |
|
7 "~~/src/HOL/Library/Code_Abstract_Nat" |
|
8 theories [quick_and_dirty, document = false] |
|
9 "Intro" |
7 "Intro" |
10 "First_Steps" |
8 "First_Steps" |
11 "Essential" |
9 "Essential" |
12 "Advanced" |
10 "Advanced" |
13 "Parsing" |
|
14 "Tactical" |
11 "Tactical" |
15 "Package/Ind_Intro" |
12 "Package/Ind_Intro" |
16 "Package/Ind_Prelims" |
13 "Package/Ind_Prelims" |
17 "Package/Ind_Interface" |
14 "Package/Ind_Interface" |
18 "Package/Ind_General_Scheme" |
15 "Package/Ind_General_Scheme" |
19 "Package/Ind_Code" |
16 "Package/Ind_Code" |
20 "Package/Ind_Extensions" |
17 "Package/Ind_Extensions" |
21 "Appendix" |
18 "Appendix" |
22 "Recipes/Antiquotes" |
19 "Recipes/Antiquotes" |
23 "Recipes/TimeLimit" |
20 "Recipes/TimeLimit" |
24 "Recipes/Timing" |
21 "Recipes/Timing" |
25 "Recipes/ExternalSolver" |
22 "Recipes/ExternalSolver" |
26 "Recipes/Oracle" |
23 "Recipes/Oracle" |
27 "Recipes/Sat" |
24 "Recipes/Sat" |
28 "Recipes/USTypes" |
25 "Recipes/USTypes" |
29 "Solutions" |
26 "Solutions" |
30 |
27 document_files |
31 session "Cookbook" in "ProgTutorial" = HOL + |
28 "root.bib" |
32 options [document = pdf, browser_info = false, document_output = ".."] |
29 "root.tex" |
33 theories [document = false] |
30 "tutorial-logo.jpg" |
34 "Base" |
|
35 "Package/Simple_Inductive_Package" |
|
36 "~~/src/HOL/Number_Theory/Primes" |
|
37 "~~/src/HOL/Library/Code_Target_Numeral" |
|
38 "~~/src/HOL/Library/Code_Abstract_Nat" |
|
39 theories [quick_and_dirty, document = true] |
|
40 "Intro" |
|
41 "First_Steps" |
|
42 "Essential" |
|
43 "Advanced" |
|
44 "Parsing" |
|
45 "Tactical" |
|
46 "Package/Ind_Intro" |
|
47 "Package/Ind_Prelims" |
|
48 "Package/Ind_Interface" |
|
49 "Package/Ind_General_Scheme" |
|
50 "Package/Ind_Code" |
|
51 "Package/Ind_Extensions" |
|
52 "Appendix" |
|
53 "Recipes/Antiquotes" |
|
54 "Recipes/TimeLimit" |
|
55 "Recipes/Timing" |
|
56 "Recipes/ExternalSolver" |
|
57 "Recipes/Oracle" |
|
58 "Recipes/Sat" |
|
59 "Recipes/USTypes" |
|
60 "Solutions" |
|
61 document_files |
|
62 "root.bib" |
|
63 "root.tex" |
|
64 "build" |
|
65 |
31 |
66 |
32 |