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