author | wenzelm |
Thu, 09 Jun 2005 16:58:03 +0200 | |
changeset 16355 | 06059ee940b6 |
parent 16354 | 6f0ca9628840 |
child 16356 | 94011cf701a4 |
--- 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);