diff -r ce754ad78bc9 -r c0cae24b9d46 ProgTutorial/ROOT.ML
--- a/ProgTutorial/ROOT.ML	Fri Oct 02 15:38:14 2009 +0200
+++ b/ProgTutorial/ROOT.ML	Sat Oct 03 13:01:39 2009 +0200
@@ -1,4 +1,4 @@
-set quick_and_dirty;
+quick_and_dirty := true;
 
 no_document use_thy "Base";
 no_document use_thy "Package/Simple_Inductive_Package";