diff -r 3aeb58524131 -r 43da9adf4759 Quotient-Paper/ROOT.ML
--- a/Quotient-Paper/ROOT.ML	Sun Jul 18 17:02:33 2010 +0100
+++ b/Quotient-Paper/ROOT.ML	Sun Jul 18 17:03:05 2010 +0100
@@ -1,3 +1,4 @@
+quick_and_dirty := true;
 no_document use_thys ["Quotient", 
                       "LaTeXsugar",
                       "../Nominal/FSet" ];