--- a/src/Doc/ZF/ZF_Isar.thy Wed Mar 12 12:18:41 2014 +0100
+++ b/src/Doc/ZF/ZF_Isar.thy Wed Mar 12 14:17:13 2014 +0100
@@ -4,7 +4,6 @@
(*<*)
ML_file "../antiquote_setup.ML"
-setup Antiquote_Setup.setup
(*>*)
chapter {* Some Isar language elements *}