src/HOL/ROOT
changeset 61224 759b5299a9f2
parent 61203 a8a8eca85801
child 61232 c46faf9762f7
     1.1 --- a/src/HOL/ROOT	Mon Sep 21 23:22:11 2015 +0200
     1.2 +++ b/src/HOL/ROOT	Tue Sep 22 08:38:25 2015 +0200
     1.3 @@ -176,7 +176,8 @@
     1.4    theories
     1.5      Tree_Set
     1.6      Tree_Map
     1.7 -  document_files "root.tex"
     1.8 +    RBT_Map
     1.9 +  document_files "root.tex" "root.bib"
    1.10  
    1.11  session "HOL-Import" in Import = HOL +
    1.12    theories HOL_Light_Maps