# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1294325618 0
# Node ID 51f75d24bd7319716f6ccdadbba7efef03c96823
# Parent  09cf78bb53d4a24daf2a5968c1dec3c2d5c702c4
moved Weakening up....it does not compile when put at the last position

diff -r 09cf78bb53d4 -r 51f75d24bd73 Nominal/ROOT.ML
--- 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" 
+   ];