src/HOL/Main.thy
changeset 12439 e90a4f5a27f0
parent 12024 b3661262541e
child 12554 671b4d632c34
     1.1 --- a/src/HOL/Main.thy	Mon Dec 10 15:18:34 2001 +0100
     1.2 +++ b/src/HOL/Main.thy	Mon Dec 10 15:18:57 2001 +0100
     1.3 @@ -96,8 +96,8 @@
     1.4  
     1.5  types_code
     1.6    "bool"  ("bool")
     1.7 -  "*"     ("prod")
     1.8 -  "list"  ("list")
     1.9 +  "*"     ("(_ */ _)")
    1.10 +  "list"  ("_ list")
    1.11  
    1.12  consts_code
    1.13    "op ="    ("(_ =/ _)")
    1.14 @@ -115,5 +115,5 @@
    1.15  
    1.16    "Nil"     ("[]")
    1.17    "Cons"    ("(_ ::/ _)")
    1.18 -  
    1.19 +
    1.20  end