|
537
|
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"
|
|
536
|
31 |
|
|
|
32 |
session "Cookbook" in "ProgTutorial" = HOL +
|
|
537
|
33 |
options [document = pdf, browser_info = false, document_output = ".."]
|
|
536
|
34 |
theories [document = false]
|
|
|
35 |
"Base"
|
|
|
36 |
"Package/Simple_Inductive_Package"
|
|
|
37 |
"~~/src/HOL/Number_Theory/Primes"
|
|
|
38 |
"~~/src/HOL/Library/Efficient_Nat"
|
|
|
39 |
"Helper/Command/Command"
|
|
|
40 |
theories [quick_and_dirty, document = true]
|
|
|
41 |
"Intro"
|
|
|
42 |
"First_Steps"
|
|
|
43 |
"Essential"
|
|
|
44 |
"Advanced"
|
|
|
45 |
"Parsing"
|
|
|
46 |
"Tactical"
|
|
|
47 |
"Package/Ind_Intro"
|
|
|
48 |
"Package/Ind_Prelims"
|
|
|
49 |
"Package/Ind_Interface"
|
|
|
50 |
"Package/Ind_General_Scheme"
|
|
|
51 |
"Package/Ind_Code"
|
|
|
52 |
"Package/Ind_Extensions"
|
|
|
53 |
"Appendix"
|
|
|
54 |
"Recipes/Antiquotes"
|
|
|
55 |
"Recipes/TimeLimit"
|
|
|
56 |
"Recipes/Timing"
|
|
|
57 |
"Recipes/CallML"
|
|
|
58 |
"Recipes/ExternalSolver"
|
|
|
59 |
"Recipes/Oracle"
|
|
|
60 |
"Recipes/Sat"
|
|
|
61 |
"Recipes/USTypes"
|
|
|
62 |
"Solutions"
|
|
|
63 |
files
|
|
|
64 |
"document/root.bib"
|
|
|
65 |
"document/root.tex"
|
|
|
66 |
"document/build"
|
|
|
67 |
|
|
537
|
68 |
|