Mercurial Mercurial > hg > nominal2 / 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.
Nominal/ROOT.ML
changeset 2482 0c2eb0ed30a0
parent 2481 3a5ebb2fcdbf
child 2494 11133eb76f61 
--- a/Nominal/ROOT.ML	Wed Sep 22 14:19:48 2010 +0800
+++ b/Nominal/ROOT.ML	Wed Sep 22 18:13:26 2010 +0200
@@ -3,7 +3,7 @@
 no_document use_thys
    ["Ex/Classical",    
     "Ex/CoreHaskell",
-     Ex/Datatypes",
+    "Ex/Datatypes",
     "Ex/Ex1",
     "Ex/ExPS3",
     "Ex/Multi_Recs",
nominal2