Tue, 28 Mar 1995 10:24:45 +0200 lcp Corrected faulty reference to Hindley-Milner type inference
Mon, 27 Mar 1995 18:29:23 +0200 nipkow Added recursion equations for foldl to list_ss.
Sun, 26 Mar 1995 17:04:45 +0200 nipkow Modified If_def to avoid ambiguity.
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip