doc-src/more_antiquote.ML

--- a/doc-src/more_antiquote.ML	Mon Jun 27 17:51:28 2011 +0200
+++ b/doc-src/more_antiquote.ML	Mon Jun 27 22:20:49 2011 +0200
@@ -6,6 +6,7 @@
 
 signature MORE_ANTIQUOTE =
 sig
+  val setup: theory -> theory
 end;
 
 structure More_Antiquote : MORE_ANTIQUOTE =
@@ -40,8 +41,9 @@
 
 in
 
-val _ = Thy_Output.antiquotation "code_thms" Args.term
-  (fn {source, context, ...} => pretty_code_thm source context);
+val setup =
+  Thy_Output.antiquotation @{binding code_thms} Args.term
+    (fn {source, context, ...} => pretty_code_thm source context);
 
 end;