diff -r ec31c31b2bb1 -r 24fc5b080c51 Nominal/ROOT.ML
--- a/Nominal/ROOT.ML	Sat Dec 17 17:31:40 2011 +0000
+++ b/Nominal/ROOT.ML	Sat Dec 17 17:51:01 2011 +0000
@@ -30,11 +30,4 @@
     "Ex/CoreHaskell2" 
    ];
 
-quick_and_dirty := true;
 
-no_document use_thys
-   ["Ex/Classical",    
-    "Ex/Let"
-   ];
-
-