equal
deleted
inserted
replaced
113 Interfaces |
113 Interfaces |
114 Scala |
114 Scala |
115 Presentation |
115 Presentation |
116 Misc |
116 Misc |
117 |
117 |
118 (* session Tutorial (doc) in "Tutorial" = HOL + FIXME *) |
118 session Tutorial (doc) in "TutorialI" = HOL + |
|
119 options [browser_info = false, document = false, |
|
120 document_dump = document, document_dump_mode = "tex", |
|
121 print_mode = "brackets", threads = 1 (* FIXME *)] |
|
122 theories [thy_output_indent = 5] |
|
123 "ToyList/ToyList" |
|
124 "Ifexpr/Ifexpr" |
|
125 "CodeGen/CodeGen" |
|
126 "Trie/Trie" |
|
127 "Datatype/ABexpr" |
|
128 "Datatype/unfoldnested" |
|
129 "Datatype/Nested" |
|
130 "Datatype/Fundata" |
|
131 "Fun/fun0" |
|
132 "Advanced/simp2" |
|
133 "CTL/PDL" |
|
134 "CTL/CTL" |
|
135 "CTL/CTLind" |
|
136 "Inductive/Even" |
|
137 "Inductive/Mutual" |
|
138 "Inductive/Star" |
|
139 "Inductive/AB" |
|
140 "Inductive/Advanced" |
|
141 "Misc/Tree" |
|
142 "Misc/Tree2" |
|
143 "Misc/Plus" |
|
144 "Misc/case_exprs" |
|
145 "Misc/fakenat" |
|
146 "Misc/natsum" |
|
147 "Misc/pairs2" |
|
148 "Misc/Option2" |
|
149 "Misc/types" |
|
150 "Misc/prime_def" |
|
151 "Misc/simp" |
|
152 "Misc/Itrev" |
|
153 "Misc/AdvancedInd" |
|
154 "Misc/appendix" |
|
155 theories |
|
156 "Protocol/NS_Public" |
|
157 "Documents/Documents" |
|
158 theories [document_dump = ""] |
|
159 "Types/Setup" |
|
160 theories |
|
161 "Types/Numbers" |
|
162 "Types/Pairs" |
|
163 "Types/Records" |
|
164 "Types/Typedefs" |
|
165 "Types/Overloading" |
|
166 "Types/Axioms" |
|
167 "Rules/Basic" |
|
168 "Rules/Blast" |
|
169 "Rules/Force" |
|
170 "Rules/Forward" |
|
171 "Rules/Tacticals" |
|
172 "Rules/find2" |
|
173 "Sets/Examples" |
|
174 "Sets/Functions" |
|
175 "Sets/Relations" |
|
176 "Sets/Recur" |
119 |
177 |
120 session examples (doc) in "ZF" = ZF + |
178 session examples (doc) in "ZF" = ZF + |
121 options [browser_info = false, document = false, |
179 options [browser_info = false, document = false, |
122 document_dump = document, document_dump_mode = "tex", |
180 document_dump = document, document_dump_mode = "tex", |
123 print_mode = "brackets"] |
181 print_mode = "brackets"] |