1.1 --- a/src/Pure/pure_setup.ML Thu Jan 22 11:23:15 2009 +0100
1.2 +++ b/src/Pure/pure_setup.ML Fri Jan 23 10:21:27 2009 +0100
1.3 @@ -33,7 +33,7 @@
1.4 map (fn (x, y) => Pretty.str (x ^ "=" ^ y)) o Position.properties_of));
1.5 install_pp (make_pp ["Thm", "thm"] ProofDisplay.pprint_thm);
1.6 install_pp (make_pp ["Thm", "cterm"] ProofDisplay.pprint_cterm);
1.7 -install_pp (make_pp ["Binding", "T"] (Pretty.pprint o Pretty.str o Binding.display));
1.8 +install_pp (make_pp ["Binding", "binding"] (Pretty.pprint o Pretty.str o Binding.display));
1.9 install_pp (make_pp ["Thm", "ctyp"] ProofDisplay.pprint_ctyp);
1.10 install_pp (make_pp ["Context", "theory"] Context.pprint_thy);
1.11 install_pp (make_pp ["Context", "theory_ref"] Context.pprint_thy_ref);