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.
fixed LAM<...> syntax;
authorwenzelm
Mon, 10 Nov 1997 14:30:35 +0100
changeset 4191 f967419250d1
parent 4190 e377947fe1ec
child 4192 c38ab5af38b5
fixed LAM<...> syntax;
src/HOLCF/Cprod3.thy file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/Cprod3.thy	Mon Nov 10 11:47:32 1997 +0100
+++ b/src/HOLCF/Cprod3.thy	Mon Nov 10 14:30:35 1997 +0100
@@ -73,6 +73,6 @@
   "LAM <x,y>.b"           == "csplit`(LAM x y. b)"
 
 syntax (symbols)
-  "_LAM"    :: "[patterns, 'a => 'b] => ('a -> 'b)"  ("(3\\<Lambda><_>./ _)" [0, 10] 10)
+  "_LAM"    :: "[patterns, 'a => 'b] => ('a -> 'b)"  ("(3\\<Lambda>()<_>./ _)" [0, 10] 10)
 
 end
isabelle