src/Doc/antiquote_setup.ML

--- a/src/Doc/antiquote_setup.ML	Tue Nov 10 19:50:56 2015 +0100
+++ b/src/Doc/antiquote_setup.ML	Tue Nov 10 19:56:51 2015 +0100
@@ -141,14 +141,6 @@
             #> enclose "\\isa{" "}")));
 
 
-(* theory file *)
-
-val _ =
-  Theory.setup (Thy_Output.antiquotation @{binding thy_file} (Scan.lift Args.name)
-    (fn {context = ctxt, ...} =>
-      fn name => (Resources.check_thy Path.current name; Thy_Output.output ctxt [Pretty.str name])));
-
-
 (* Isabelle/jEdit elements *)
 
 local