# HG changeset patch
# User wenzelm
# Date 879168635 -3600
# Node ID f967419250d19ab3ac0f765d1b8f20f1bbcba0b1
# Parent  e377947fe1ec65da1f8f3db1b480ff855379ab15
fixed LAM<...> syntax;

diff -r e377947fe1ec -r f967419250d1 src/HOLCF/Cprod3.thy
--- 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