--- a/Quotient-Paper/ROOT.ML	Sat Jul 17 15:44:24 2010 +0100
+++ b/Quotient-Paper/ROOT.ML	Sun Jul 18 16:06:34 2010 +0100
@@ -1,3 +1,4 @@
+quick_and_dirty := true;
 no_document use_thys ["Quotient", 
                       "LaTeXsugar",
                       "../Nominal/FSet" ];