src/HOL/ROOT

--- a/src/HOL/ROOT	Tue Jan 02 16:11:20 2018 +0100
+++ b/src/HOL/ROOT	Tue Jan 02 16:17:13 2018 +0100
@@ -19,7 +19,7 @@
   sessions
     "HOL-Library"
   theories
-    "HOL-Library.Old_Datatype"
+    "HOL-Library.Realizers"
 
 session "HOL-Library" (main timing) in Library = HOL +
   description {*
@@ -52,6 +52,7 @@
     (*legacy tools*)
     Old_Datatype
     Old_Recdef
+    Realizers
     Refute
   document_files "root.bib" "root.tex"