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
branchNominal2-Isabelle2011-1
changeset 3073 ec31c31b2bb1
parent 2926 37c0d7953cba
child 3074 24fc5b080c51 
--- a/Nominal/ROOT.ML	Sat Dec 17 17:10:11 2011 +0000
+++ b/Nominal/ROOT.ML	Sat Dec 17 17:31:40 2011 +0000
@@ -4,15 +4,16 @@
    ["Atoms",
     "Eqvt",
     "Ex/Weakening",
-    (*"Ex/Classical",*)    
+    "Ex/Classical",
     "Ex/Datatypes",
     "Ex/Ex1",
     "Ex/ExPS3",
+    "Ex/Height",
     "Ex/Multi_Recs",
     "Ex/Multi_Recs2",
     "Ex/LF",
     "Ex/Lambda",
-    (*"Ex/Let",*)
+    "Ex/Let",
     "Ex/LetPat",
     "Ex/LetRec",
     "Ex/LetRec2",
nominal2