src/HOL/ROOT

     TreeFsetI
     "Derivation_Trees/Gram_Lang"
     "Derivation_Trees/Parallel"
     Koenig
   theories [condition = ISABELLE_FULL_TEST]
-    Misc_Codata
-    Misc_Data
+    Misc_Codatatype
+    Misc_Datatype
 
 session "HOL-Word" (main) in Word = HOL +
   options [document_graph]
   theories Word
   files "document/root.bib" "document/root.tex"