# HG changeset patch
# User berghofe
# Date 1007993937 -3600
# Node ID e90a4f5a27f017b34b7b77d1add3dfb2ea6d5840
# Parent  afd41635dcf96cd617120248573065195ef313ba
Tuned code generator setup.

diff -r afd41635dcf9 -r e90a4f5a27f0 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