src/Pure/install_pp.ML
changeset 1528 608dd813b437
parent 619 a0342b27b38e
child 3509 db03a42120bf
     1.1 --- a/src/Pure/install_pp.ML	Thu Feb 29 18:54:46 1996 +0100
     1.2 +++ b/src/Pure/install_pp.ML	Fri Mar 01 10:17:37 1996 +0100
     1.3 @@ -6,8 +6,8 @@
     1.4  
     1.5  fun init_pps () =
     1.6    use_string
     1.7 -   ["install_pp (make_pp [\"Thm\", \"thm\"] pprint_thm);",
     1.8 -    "install_pp (make_pp [\"Thm\", \"theory\"] pprint_theory);",
     1.9 +   ["install_pp (make_pp [\"Theory\", \"theory\"] pprint_theory);",
    1.10 +    "install_pp (make_pp [\"Thm\", \"thm\"] pprint_thm);",
    1.11      "install_pp (make_pp [\"Thm\", \"cterm\"] pprint_cterm);",
    1.12      "install_pp (make_pp [\"Thm\", \"ctyp\"] pprint_ctyp);",
    1.13      "install_pp (make_pp [\"Sign\", \"sg\"] Sign.pprint_sg);",