equal
deleted
inserted
replaced
174 theories [document = false] |
174 theories [document = false] |
175 "Less_False" |
175 "Less_False" |
176 theories |
176 theories |
177 Tree_Set |
177 Tree_Set |
178 Tree_Map |
178 Tree_Map |
179 document_files "root.tex" |
179 RBT_Map |
|
180 document_files "root.tex" "root.bib" |
180 |
181 |
181 session "HOL-Import" in Import = HOL + |
182 session "HOL-Import" in Import = HOL + |
182 theories HOL_Light_Maps |
183 theories HOL_Light_Maps |
183 theories [condition = HOL_LIGHT_BUNDLE] HOL_Light_Import |
184 theories [condition = HOL_LIGHT_BUNDLE] HOL_Light_Import |
184 |
185 |