src/HOL/ROOT

--- a/src/HOL/ROOT	Wed Mar 23 16:37:19 2016 +0100
+++ b/src/HOL/ROOT	Thu Mar 24 15:56:47 2016 +0100
@@ -173,6 +173,7 @@
   options [document_variants = document]
   theories [document = false]
     "Less_False"
+    "~~/src/HOL/Library/Multiset"
   theories
     Tree_Map
     AVL_Map
@@ -182,6 +183,7 @@
     Brother12_Map
     AA_Map
     Splay_Map
+    Leftist_Heap
   document_files "root.tex" "root.bib"
 
 session "HOL-Import" in Import = HOL +