changeset 2420 | cb21eef65704 |
parent 2394 | 91d8abf108be |
child 2640 | ee4dfce170a0 |
--- 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