changeset 16596 | 81ea5a085158 |
parent 16438 | 1093f2400411 |
child 18800 | c0f90bbf3865 |
--- a/src/Pure/install_pp.ML Wed Jun 29 15:13:25 2005 +0200 +++ b/src/Pure/install_pp.ML Wed Jun 29 15:13:26 2005 +0200 @@ -9,4 +9,4 @@ install_pp (make_pp ["Thm", "ctyp"] Display.pprint_ctyp); install_pp (make_pp ["Context", "theory"] Context.pprint_thy); install_pp (make_pp ["Syntax", "ast"] Syntax.pprint_ast); -install_pp (make_pp ["typ"] Syntax.simple_pprint_typ); +install_pp (make_pp ["typ"] (Sign.pprint_typ ProtoPure.thy));