Mon, 13 Dec 1993 18:48:47 +0100 lcp added mention of simplifier, splitter, hypsubst
Mon, 13 Dec 1993 18:18:34 +0100 lcp new year
Fri, 10 Dec 1993 13:46:38 +0100 nipkow updated instantiate to deal with type clashes
(0) -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip