562
|
1 |
session "Cookbook" in "ProgTutorial" = HOL +
|
|
2 |
options [document = pdf, browser_info = false, document_output = ".."]
|
537
|
3 |
theories [document = false]
|
|
4 |
"Base"
|
|
5 |
"Package/Simple_Inductive_Package"
|
562
|
6 |
theories [quick_and_dirty, document = true]
|
537
|
7 |
"Intro"
|
|
8 |
"First_Steps"
|
|
9 |
"Essential"
|
|
10 |
"Advanced"
|
|
11 |
"Tactical"
|
|
12 |
"Package/Ind_Intro"
|
|
13 |
"Package/Ind_Prelims"
|
|
14 |
"Package/Ind_Interface"
|
|
15 |
"Package/Ind_General_Scheme"
|
562
|
16 |
"Package/Ind_Code"
|
537
|
17 |
"Package/Ind_Extensions"
|
|
18 |
"Appendix"
|
|
19 |
"Recipes/Antiquotes"
|
|
20 |
"Recipes/TimeLimit"
|
|
21 |
"Recipes/Timing"
|
|
22 |
"Recipes/ExternalSolver"
|
|
23 |
"Recipes/Oracle"
|
|
24 |
"Recipes/Sat"
|
|
25 |
"Recipes/USTypes"
|
|
26 |
"Solutions"
|
562
|
27 |
document_files
|
|
28 |
"root.bib"
|
|
29 |
"root.tex"
|
|
30 |
"tutorial-logo.jpg"
|
536
|
31 |
|
537
|
32 |
|