changeset 16355 | 06059ee940b6 |
parent 15633 | 741deccec4e3 |
child 16438 | 1093f2400411 |
--- a/src/Pure/install_pp.ML Thu Jun 09 16:56:42 2005 +0200 +++ b/src/Pure/install_pp.ML Thu Jun 09 16:58:03 2005 +0200 @@ -4,7 +4,7 @@ Set up automatic toplevel pretty printing. *) -install_pp (make_pp ["Theory", "theory"] ThyInfo.pprint_theory); +install_pp (make_pp ["Theory", "theory"] Display.pprint_theory); install_pp (make_pp ["Thm", "thm"] Display.pprint_thm); install_pp (make_pp ["Thm", "cterm"] Display.pprint_cterm); install_pp (make_pp ["Thm", "ctyp"] Display.pprint_ctyp);