# HG changeset patch
# User popescua
# Date 1350386158 -7200
# Node ID c6a686c9be2aa3b5f481f1802e65d85b817fbcf0
# Parent  41ee3bfccb4de4532771d98ebf0443a7104c938f
update ROOT with teh directory change in BNF

diff -r 41ee3bfccb4d -r c6a686c9be2a 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