--- a/src/Doc/IsarImplementation/Base.thy Wed Mar 12 12:18:41 2014 +0100 +++ b/src/Doc/IsarImplementation/Base.thy Wed Mar 12 14:17:13 2014 +0100 @@ -3,6 +3,5 @@ begin ML_file "../antiquote_setup.ML" -setup {* Antiquote_Setup.setup *} end