# HG changeset patch
# User wenzelm
# Date 1447181811 -3600
# Node ID abbecf4e660175d66100b34b1be32bff7c0a1328
# Parent  e8fcd347b6699d07b87ee2b0ef2ac64969519dfd
unused;

diff -r e8fcd347b669 -r abbecf4e6601 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