src/HOL/Main.thy

--- a/src/HOL/Main.thy	Mon Dec 10 15:18:34 2001 +0100
+++ b/src/HOL/Main.thy	Mon Dec 10 15:18:57 2001 +0100
@@ -96,8 +96,8 @@
 
 types_code
   "bool"  ("bool")
-  "*"     ("prod")
-  "list"  ("list")
+  "*"     ("(_ */ _)")
+  "list"  ("_ list")
 
 consts_code
   "op ="    ("(_ =/ _)")
@@ -115,5 +115,5 @@
 
   "Nil"     ("[]")
   "Cons"    ("(_ ::/ _)")
-  
+
 end