Tue, 30 Jul 1996 18:03:11 +0200 berghofe Now also Deepen_tac and Best_tac are used.
Tue, 30 Jul 1996 17:33:26 +0200 berghofe Classical tactics now use default claset.
Mon, 29 Jul 1996 18:31:39 +0200 paulson Works up to main theorem, then XXX...X
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip