equal
deleted
inserted
replaced
166 procedures. For documentation see "Hoare Logic for Mutual Recursion and |
166 procedures. For documentation see "Hoare Logic for Mutual Recursion and |
167 Local Variables" (http://isabelle.in.tum.de/Bali/papers/FSTTCS99.html). |
167 Local Variables" (http://isabelle.in.tum.de/Bali/papers/FSTTCS99.html). |
168 *} |
168 *} |
169 options [document = false] |
169 options [document = false] |
170 theories EvenOdd |
170 theories EvenOdd |
|
171 |
|
172 session "HOL-Data_Structures" in Data_Structures = HOL + |
|
173 options [document_variants = document] |
|
174 theories [document = false] |
|
175 "Less_False" |
|
176 theories |
|
177 Tree_Set |
|
178 Tree_Map |
|
179 document_files "root.tex" |
171 |
180 |
172 session "HOL-Import" in Import = HOL + |
181 session "HOL-Import" in Import = HOL + |
173 theories HOL_Light_Maps |
182 theories HOL_Light_Maps |
174 theories [condition = HOL_LIGHT_BUNDLE] HOL_Light_Import |
183 theories [condition = HOL_LIGHT_BUNDLE] HOL_Light_Import |
175 |
184 |