changeset 61525 | 87244a9cfe40 |
parent 61514 | 213556e498c2 |
child 61542 | b3eb789616c3 |
--- a/src/HOL/ROOT Thu Oct 29 15:40:52 2015 +0100 +++ b/src/HOL/ROOT Fri Oct 30 20:01:05 2015 +0100 @@ -174,12 +174,12 @@ theories [document = false] "Less_False" theories - Tree_Set Tree_Map AVL_Map RBT_Map Tree23_Map Tree234_Map + Splay_Map document_files "root.tex" "root.bib" session "HOL-Import" in Import = HOL +