src/HOL/List.thy
changeset 21126 4dbc3ccbaab0
parent 21113 5b76e541cc0a
child 21131 a447addc14af
--- a/src/HOL/List.thy	Tue Oct 31 14:58:12 2006 +0100
+++ b/src/HOL/List.thy	Tue Oct 31 14:58:14 2006 +0100
@@ -2662,8 +2662,8 @@
   (Haskell "Char")
 
 code_const Char
-  (SML "!(__,/ __)")
-  (Haskell "!(__,/ __)")
+  (SML "!((_),/ (_))")
+  (Haskell "!((_),/ (_))")
 
 code_instance list :: eq and char :: eq
   (Haskell - and -)