doc-src/IsarRef/Thy/ROOT-ZF.ML

--- a/doc-src/IsarRef/Thy/ROOT-ZF.ML	Wed May 07 13:05:13 2008 +0200
+++ b/doc-src/IsarRef/Thy/ROOT-ZF.ML	Wed May 07 13:05:46 2008 +0200
@@ -1,5 +1,7 @@
 
 (* $Id$ *)
 
+set ThyOutput.source;
 use "../../antiquote_setup.ML";
+
 use_thy "ZF_Specific";