--- a/src/Doc/Codegen/Setup.thy Wed Mar 12 12:18:41 2014 +0100
+++ b/src/Doc/Codegen/Setup.thy Wed Mar 12 14:17:13 2014 +0100
@@ -16,7 +16,6 @@
ML_file "../more_antiquote.ML"
setup {*
- Antiquote_Setup.setup #>
More_Antiquote.setup #>
let
val typ = Simple_Syntax.read_typ;