# HG changeset patch
# User oheimb
# Date 850738202 -3600
# Node ID cb21eef657044d6fa6bf189b46f891ffe200769c
# Parent  98a571307d5ee479089bf430a6f4b267afd2baab
corrected 8bit symbols

diff -r 98a571307d5e -r cb21eef65704 src/HOLCF/Sprod3.thy
--- a/src/HOLCF/Sprod3.thy	Mon Dec 16 12:36:35 1996 +0100
+++ b/src/HOLCF/Sprod3.thy	Mon Dec 16 13:10:02 1996 +0100
@@ -24,7 +24,7 @@
         "(|x, y|)"      == "spair`x`y"
 
 syntax (symbols)
-  "@stuple"	:: "['a, args] => 'a ** 'b"		("(1É_,/ _Ê)")
+  "@stuple"	:: "['a, args] => 'a ** 'b"		("(1\\<lparr>_,/ _\\<rparr>)")
 
 rules