Mercurial Mercurial > hg > nominal2 / 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.
moved Weakening up....it does not compile when put at the last position
authorChristian Urban <urbanc@in.tum.de>
Thu, 06 Jan 2011 14:53:38 +0000
changeset 2646 51f75d24bd73
parent 2645 09cf78bb53d4
child 2647 5e95387bef45
moved Weakening up....it does not compile when put at the last position
Nominal/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/Nominal/ROOT.ML	Thu Jan 06 14:02:10 2011 +0000
+++ b/Nominal/ROOT.ML	Thu Jan 06 14:53:38 2011 +0000
@@ -2,7 +2,7 @@
 
 no_document use_thys
    ["Atoms",
-    "Nominal2_Abs",
+    "Ex/Weakening",
     "Ex/Classical",    
     "Ex/Datatypes",
     "Ex/Ex1",
@@ -25,7 +25,5 @@
     "Ex/Foo1",
     "Ex/Foo2",
     "Ex/CoreHaskell",
-    "Ex/CoreHaskell2",
-
-    "Ex/Weakening"
-    ];
+    "Ex/CoreHaskell2" 
+   ];
nominal2