src/Pure/ROOT.ML
changeset 58032 e92cdae8b3b5
parent 58009 987c848d509b
child 58470 890d8286fd4e
     1.1 --- a/src/Pure/ROOT.ML	Fri Aug 22 11:31:19 2014 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Fri Aug 22 12:05:47 2014 +0200
     1.3 @@ -343,7 +343,7 @@
     1.4  toplevel_pp ["Task_Queue", "task"] "Pretty.str o Task_Queue.str_of_task";
     1.5  toplevel_pp ["Task_Queue", "group"] "Pretty.str o Task_Queue.str_of_group";
     1.6  toplevel_pp ["Position", "T"] "Pretty.position";
     1.7 -toplevel_pp ["Binding", "binding"] "Pretty.str o Binding.print";
     1.8 +toplevel_pp ["Binding", "binding"] "Binding.pp";
     1.9  toplevel_pp ["Thm", "thm"] "Proof_Display.pp_thm";
    1.10  toplevel_pp ["Thm", "cterm"] "Proof_Display.pp_cterm";
    1.11  toplevel_pp ["Thm", "ctyp"] "Proof_Display.pp_ctyp";