--- 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" ];