diff -r 5f727525b1ac -r bc87b7af4767 src/HOL/ROOT
--- a/src/HOL/ROOT	Wed Aug 21 09:25:40 2013 +0200
+++ b/src/HOL/ROOT	Wed Aug 21 09:25:40 2013 +0200
@@ -729,8 +729,8 @@
     "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]