| changeset 15633 | 741deccec4e3 |
| parent 11885 | 427d80b807c7 |
| child 16355 | 06059ee940b6 |
--- a/src/Pure/install_pp.ML Sat Mar 26 16:14:17 2005 +0100 +++ b/src/Pure/install_pp.ML Sat Mar 26 18:20:29 2005 +0100 @@ -4,7 +4,7 @@ Set up automatic toplevel pretty printing. *) -install_pp (make_pp ["Theory", "theory"] Display.pprint_theory); +install_pp (make_pp ["Theory", "theory"] ThyInfo.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);