Fri, 10 May 1996 17:41:10 +0200 paulson Corrected and augmented timings
Fri, 10 May 1996 17:03:17 +0200 paulson Updated for new form of induction rules
Thu, 09 May 1996 11:46:32 +0200 paulson Updated for new form of induction rules
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip