Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOLCF/Sprod3.thy
changeset 2763 b3a03fc4deee
parent 2640 ee4dfce170a0
child 3842 b55686a7b22c 
--- a/src/HOLCF/Sprod3.thy	Fri Mar 07 15:03:57 1997 +0100
+++ b/src/HOLCF/Sprod3.thy	Fri Mar 07 15:05:00 1997 +0100
@@ -23,9 +23,6 @@
         "(|x, y, z|)"   == "(|x, (|y, z|)|)"
         "(|x, y|)"      == "spair`x`y"
 
-syntax (symbols)
-  "@stuple"	:: "['a, args] => 'a ** 'b"	("(1\\<lparr>_,/ _\\<rparr>)")
-
 defs
 spair_def       "spair  == (LAM x y.Ispair x y)"
 sfst_def        "sfst   == (LAM p.Isfst p)"
isabelle