--- a/src/HOL/ROOT Mon Sep 21 23:22:11 2015 +0200
+++ b/src/HOL/ROOT Tue Sep 22 08:38:25 2015 +0200
@@ -176,7 +176,8 @@
theories
Tree_Set
Tree_Map
- document_files "root.tex"
+ RBT_Map
+ document_files "root.tex" "root.bib"
session "HOL-Import" in Import = HOL +
theories HOL_Light_Maps