src/Pure/ROOT.ML
changeset 52788 da1fdbfebd39
parent 52605 a2a805549c74
child 52798 9d3c9862d1dd
--- a/src/Pure/ROOT.ML	Tue Jul 30 12:07:14 2013 +0200
+++ b/src/Pure/ROOT.ML	Tue Jul 30 15:09:25 2013 +0200
@@ -315,7 +315,6 @@
 toplevel_pp ["Thm", "cterm"] "Proof_Display.pp_cterm";
 toplevel_pp ["Thm", "ctyp"] "Proof_Display.pp_ctyp";
 toplevel_pp ["Context", "theory"] "Context.pretty_thy";
-toplevel_pp ["Context", "theory_ref"] "Context.pretty_thy o Theory.deref";
 toplevel_pp ["Context", "Proof", "context"] "Proof_Display.pp_context";
 toplevel_pp ["Ast", "ast"] "Ast.pretty_ast";
 toplevel_pp ["Path", "T"] "Path.pretty";