Mon, 22 Sep 1997 17:38:55 +0200 Pure: fixed idt/idts vs. pttrn/pttrns syntactic categories;
wenzelm [Mon, 22 Sep 1997 17:38:55 +0200] rev 3697
Pure: fixed idt/idts vs. pttrn/pttrns syntactic categories; HOLCF: fixed LAM <x,y,zs>.b syntax (may break some unusual cases);
(0) -3000 -1000 -300 -100 -30 -10 -1 +1 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip