Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update ROOT with teh directory change in BNF
authorpopescua
Tue, 16 Oct 2012 13:15:58 +0200
changeset 49872 c6a686c9be2a
parent 49871 41ee3bfccb4d
child 49873 4b7c2e4991fc
update ROOT with teh directory change in BNF
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- 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
isabelle