equal
deleted
inserted
replaced
|
1 session "Session" in "ProgTutorial" = HOL + |
|
2 theories [document = false] |
|
3 "Base" |
|
4 "Package/Simple_Inductive_Package" |
|
5 "~~/src/HOL/Number_Theory/Primes" |
|
6 "~~/src/HOL/Library/Efficient_Nat" |
|
7 "Helper/Command/Command" |
|
8 theories [quick_and_dirty, document = false] |
|
9 "Intro" |
|
10 "First_Steps" |
|
11 "Essential" |
|
12 "Advanced" |
|
13 "Parsing" |
|
14 "Tactical" |
|
15 "Package/Ind_Intro" |
|
16 "Package/Ind_Prelims" |
|
17 "Package/Ind_Interface" |
|
18 "Package/Ind_General_Scheme" |
|
19 "Package/Ind_Code" |
|
20 "Package/Ind_Extensions" |
|
21 "Appendix" |
|
22 "Recipes/Antiquotes" |
|
23 "Recipes/TimeLimit" |
|
24 "Recipes/Timing" |
|
25 "Recipes/CallML" |
|
26 "Recipes/ExternalSolver" |
|
27 "Recipes/Oracle" |
|
28 "Recipes/Sat" |
|
29 "Recipes/USTypes" |
|
30 "Solutions" |
1 |
31 |
2 session "Cookbook" in "ProgTutorial" = HOL + |
32 session "Cookbook" in "ProgTutorial" = HOL + |
3 options [document = pdf, browser_info = false, document_output = ".."] |
33 options [document = pdf, browser_info = false, document_output = ".."] |
4 theories [document = false] |
34 theories [document = false] |
5 "Base" |
35 "Base" |
6 "Package/Simple_Inductive_Package" |
36 "Package/Simple_Inductive_Package" |
7 "~~/src/HOL/Number_Theory/Primes" |
37 "~~/src/HOL/Number_Theory/Primes" |
8 "~~/src/HOL/Library/Efficient_Nat" |
38 "~~/src/HOL/Library/Efficient_Nat" |
33 files |
63 files |
34 "document/root.bib" |
64 "document/root.bib" |
35 "document/root.tex" |
65 "document/root.tex" |
36 "document/build" |
66 "document/build" |
37 |
67 |
|
68 |