equal
deleted
inserted
replaced
1 session "Session" in "ProgTutorial" = HOL + |
1 session "Session" in "ProgTutorial" = HOL + |
2 theories [document = false] |
2 theories [document = false] |
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/Efficient_Nat" |
6 "~~/src/HOL/Library/Code_Target_Numeral" |
|
7 "~~/src/HOL/Library/Code_Abstract_Nat" |
7 "Helper/Command/Command" |
8 "Helper/Command/Command" |
8 theories [quick_and_dirty, document = false] |
9 theories [quick_and_dirty, document = false] |
9 "Intro" |
10 "Intro" |
10 "First_Steps" |
11 "First_Steps" |
11 "Essential" |
12 "Essential" |
33 options [document = pdf, browser_info = false, document_output = ".."] |
34 options [document = pdf, browser_info = false, document_output = ".."] |
34 theories [document = false] |
35 theories [document = false] |
35 "Base" |
36 "Base" |
36 "Package/Simple_Inductive_Package" |
37 "Package/Simple_Inductive_Package" |
37 "~~/src/HOL/Number_Theory/Primes" |
38 "~~/src/HOL/Number_Theory/Primes" |
38 "~~/src/HOL/Library/Efficient_Nat" |
39 "~~/src/HOL/Library/Code_Target_Numeral" |
|
40 "~~/src/HOL/Library/Code_Abstract_Nat" |
39 "Helper/Command/Command" |
41 "Helper/Command/Command" |
40 theories [quick_and_dirty, document = true] |
42 theories [quick_and_dirty, document = true] |
41 "Intro" |
43 "Intro" |
42 "First_Steps" |
44 "First_Steps" |
43 "Essential" |
45 "Essential" |