Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/IsarImplementation/Thy/ROOT.ML
changeset 39822 0de42180febe
parent 30242 aea5d7fa7ef5
child 39884 a16b18fd6299 
--- a/doc-src/IsarImplementation/Thy/ROOT.ML	Thu Oct 07 12:39:01 2010 +0100
+++ b/doc-src/IsarImplementation/Thy/ROOT.ML	Thu Oct 07 19:05:42 2010 +0100
@@ -4,6 +4,7 @@
   "Local_Theory",
   "Logic",
   "ML",
+  "ML_old",
   "Prelim",
   "Proof",
   "Syntax",
isabelle