--- a/doc-src/IsarRef/Thy/ROOT-ZF.ML Tue May 03 14:23:40 2011 +0200
+++ b/doc-src/IsarRef/Thy/ROOT-ZF.ML Tue May 03 15:07:36 2011 +0200
@@ -1,4 +1,3 @@
-Thy_Output.source_default := true;
-use "../../antiquote_setup.ML";
+quick_and_dirty := true;
use_thy "ZF_Specific";