Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tuned code generator setup.
authorberghofe
Mon, 10 Dec 2001 15:18:57 +0100
changeset 12439 e90a4f5a27f0
parent 12438 afd41635dcf9
child 12440 fb5851b71a82
Tuned code generator setup.
src/HOL/Main.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle