author | nipkow |
Wed, 26 Jan 1994 22:07:06 +0100 | |
changeset 248 | 0d0a6a17a02f |
parent 230 | ec8a2b6aa8a7 |
child 254 | b1fcd27fcac4 |
permissions | -rw-r--r-- |
(* Title: Pure/install_pp.ML ID: $Id$ Set up automatic toplevel printing *) install_pp (make_pp ["Thm", "thm"] pprint_thm); install_pp (make_pp ["Thm", "theory"] pprint_theory); install_pp (make_pp ["Thm", "cterm"] pprint_cterm); install_pp (make_pp ["Thm", "ctyp"] pprint_ctyp); install_pp (make_pp ["Sign", "sg"] pprint_sg); install_pp (make_pp ["Syntax", "ast"] Syntax.pprint_ast); (* install_pp (make_pp ["term"] pprint_term); install_pp (make_pp ["typ"] pprint_typ); *)