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