fixed LAM<...> syntax;
authorwenzelm
Mon Nov 10 14:30:35 1997 +0100 (1997-11-10)
changeset 4191f967419250d1
parent 4190 e377947fe1ec
child 4192 c38ab5af38b5
fixed LAM<...> syntax;
src/HOLCF/Cprod3.thy
     1.1 --- a/src/HOLCF/Cprod3.thy	Mon Nov 10 11:47:32 1997 +0100
     1.2 +++ b/src/HOLCF/Cprod3.thy	Mon Nov 10 14:30:35 1997 +0100
     1.3 @@ -73,6 +73,6 @@
     1.4    "LAM <x,y>.b"           == "csplit`(LAM x y. b)"
     1.5  
     1.6  syntax (symbols)
     1.7 -  "_LAM"    :: "[patterns, 'a => 'b] => ('a -> 'b)"  ("(3\\<Lambda><_>./ _)" [0, 10] 10)
     1.8 +  "_LAM"    :: "[patterns, 'a => 'b] => ('a -> 'b)"  ("(3\\<Lambda>()<_>./ _)" [0, 10] 10)
     1.9  
    1.10  end