src/HOL/ROOT

--- a/src/HOL/ROOT	Tue Oct 16 13:09:46 2012 +0200
+++ b/src/HOL/ROOT	Tue Oct 16 13:15:58 2012 +0200
@@ -628,8 +628,8 @@
     Lambda_Term
     Process
     TreeFsetI
-    "Infinite_Derivation_Trees/Gram_Lang"
-    "Infinite_Derivation_Trees/Parallel"
+    "Derivation_Trees/Gram_Lang"
+    "Derivation_Trees/Parallel"
     Stream
   theories [condition = ISABELLE_FULL_TEST]
     Misc_Codata