equal
deleted
inserted
replaced
3 "Base" |
3 "Base" |
4 "Package/Simple_Inductive_Package" |
4 "Package/Simple_Inductive_Package" |
5 "~~/src/HOL/Number_Theory/Primes" |
5 "~~/src/HOL/Number_Theory/Primes" |
6 "~~/src/HOL/Library/Code_Target_Numeral" |
6 "~~/src/HOL/Library/Code_Target_Numeral" |
7 "~~/src/HOL/Library/Code_Abstract_Nat" |
7 "~~/src/HOL/Library/Code_Abstract_Nat" |
8 "Helper/Command/Command" |
|
9 theories [quick_and_dirty, document = false] |
8 theories [quick_and_dirty, document = false] |
10 "Intro" |
9 "Intro" |
11 "First_Steps" |
10 "First_Steps" |
12 "Essential" |
11 "Essential" |
13 "Advanced" |
12 "Advanced" |
35 "Base" |
34 "Base" |
36 "Package/Simple_Inductive_Package" |
35 "Package/Simple_Inductive_Package" |
37 "~~/src/HOL/Number_Theory/Primes" |
36 "~~/src/HOL/Number_Theory/Primes" |
38 "~~/src/HOL/Library/Code_Target_Numeral" |
37 "~~/src/HOL/Library/Code_Target_Numeral" |
39 "~~/src/HOL/Library/Code_Abstract_Nat" |
38 "~~/src/HOL/Library/Code_Abstract_Nat" |
40 "Helper/Command/Command" |
|
41 theories [quick_and_dirty, document = true] |
39 theories [quick_and_dirty, document = true] |
42 "Intro" |
40 "Intro" |
43 "First_Steps" |
41 "First_Steps" |
44 "Essential" |
42 "Essential" |
45 "Advanced" |
43 "Advanced" |
58 "Recipes/ExternalSolver" |
56 "Recipes/ExternalSolver" |
59 "Recipes/Oracle" |
57 "Recipes/Oracle" |
60 "Recipes/Sat" |
58 "Recipes/Sat" |
61 "Recipes/USTypes" |
59 "Recipes/USTypes" |
62 "Solutions" |
60 "Solutions" |
63 files |
61 document_files |
64 "document/root.bib" |
62 "root.bib" |
65 "document/root.tex" |
63 "root.tex" |
66 "document/build" |
64 "build" |
67 |
65 |
68 |
66 |