--- a/doc-src/IsarRef/Thy/Base.thy	Mon Aug 27 23:37:16 2012 +0200
+++ b/doc-src/IsarRef/Thy/Base.thy	Tue Aug 28 12:22:10 2012 +0200
@@ -3,12 +3,6 @@
 begin
 
 ML_file "../../antiquote_setup.ML"
-
-setup {*
-  Antiquote_Setup.setup #>
-  member (op =) (Session.id ()) "ZF" ? Pure_Thy.old_appl_syntax_setup
-*}
-
-declare [[thy_output_source]]
+setup Antiquote_Setup.setup
 
 end