equal
deleted
inserted
replaced
286 Tries_Binary |
286 Tries_Binary |
287 Queue_2Lists |
287 Queue_2Lists |
288 Heaps |
288 Heaps |
289 Leftist_Heap |
289 Leftist_Heap |
290 Binomial_Heap |
290 Binomial_Heap |
|
291 Selection |
291 document_files "root.tex" "root.bib" |
292 document_files "root.tex" "root.bib" |
292 |
293 |
293 session "HOL-Import" in Import = HOL + |
294 session "HOL-Import" in Import = HOL + |
294 theories HOL_Light_Maps |
295 theories HOL_Light_Maps |
295 theories [condition = HOL_LIGHT_BUNDLE] HOL_Light_Import |
296 theories [condition = HOL_LIGHT_BUNDLE] HOL_Light_Import |