--- a/src/Doc/Tutorial/Inductive/Advanced.thy Wed Mar 12 12:18:41 2014 +0100
+++ b/src/Doc/Tutorial/Inductive/Advanced.thy Wed Mar 12 14:17:13 2014 +0100
@@ -1,6 +1,5 @@
(*<*)theory Advanced imports Even begin
ML_file "../../antiquote_setup.ML"
-setup Antiquote_Setup.setup
(*>*)
text {*