equal
deleted
inserted
replaced
1 session "Cookbook" in "ProgTutorial" = HOL + |
1 session "Cookbook" in "ProgTutorial" = HOL + |
2 options [document = pdf, browser_info = false, document_output = ".."] |
2 options [document = pdf, browser_info = false, document_output = ".."] |
3 theories [document = false] |
3 theories [document = false] |
4 "Base" |
4 "Base" |
5 "Package/Simple_Inductive_Package" |
5 "Package/Simple_Inductive_Package" |
6 theories [quick_and_dirty, document = true] |
6 theories [quick_and_dirty, document = true] |
7 "Intro" |
7 "Intro" |
8 "First_Steps" |
8 "First_Steps" |
9 "Essential" |
9 "Essential" |
10 "Advanced" |
10 "Advanced" |