# HG changeset patch
# User haftmann
# Date 1162303094 -3600
# Node ID 4dbc3ccbaab05a6a4e89098a8349626b70c288f9
# Parent  9b7d35ca1eef525feea4c283fd5ce678dabe8b97
adapted seralizer syntax

diff -r 9b7d35ca1eef -r 4dbc3ccbaab0 src/HOL/Datatype.thy
--- a/src/HOL/Datatype.thy	Tue Oct 31 14:58:12 2006 +0100
+++ b/src/HOL/Datatype.thy	Tue Oct 31 14:58:14 2006 +0100
@@ -773,18 +773,18 @@
 code_const True and False and Not and "op &" and "op |" and If
   (SML "true" and "false" and "not"
     and infixl 1 "andalso" and infixl 0 "orelse"
-    and "!(if __/ then __/ else __)")
+    and "!(if (_)/ then (_)/ else (_))")
   (Haskell "True" and "False" and "not"
     and infixl 3 "&&" and infixl 2 "||"
-    and "!(if __/ then __/ else __)")
+    and "!(if (_)/ then (_)/ else (_))")
 
 code_type *
   (SML infix 2 "*")
-  (Haskell "!(__,/ __)")
+  (Haskell "!((_),/ (_))")
 
 code_const Pair
-  (SML "!(__,/ __)")
-  (Haskell "!(__,/ __)")
+  (SML "!((_),/ (_))")
+  (Haskell "!((_),/ (_))")
 
 code_type unit
   (SML "unit")
diff -r 9b7d35ca1eef -r 4dbc3ccbaab0 src/HOL/List.thy
--- 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 -)