diff -r b4404b13f775 -r 37c0d7953cba Nominal/ROOT.ML
--- a/Nominal/ROOT.ML	Wed Jun 29 17:01:09 2011 +0100
+++ b/Nominal/ROOT.ML	Wed Jun 29 19:21:26 2011 +0100
@@ -4,7 +4,7 @@
    ["Atoms",
     "Eqvt",
     "Ex/Weakening",
-    "Ex/Classical",    
+    (*"Ex/Classical",*)    
     "Ex/Datatypes",
     "Ex/Ex1",
     "Ex/ExPS3",
@@ -12,7 +12,7 @@
     "Ex/Multi_Recs2",
     "Ex/LF",
     "Ex/Lambda",
-    "Ex/Let",
+    (*"Ex/Let",*)
     "Ex/LetPat",
     "Ex/LetRec",
     "Ex/LetRec2",
@@ -28,3 +28,12 @@
     "Ex/CoreHaskell",
     "Ex/CoreHaskell2" 
    ];
+
+quick_and_dirty := true;
+
+no_document use_thys
+   ["Ex/Classical",    
+    "Ex/Let"
+   ];
+
+