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.
corrected 8bit symbols
authoroheimb
Mon, 16 Dec 1996 13:10:02 +0100
changeset 2420 cb21eef65704
parent 2419 98a571307d5e
child 2421 a07181dd2118
corrected 8bit symbols
src/HOLCF/Sprod3.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle