Mon, 28 Oct 1996 12:55:24 +0100 Changing from the Reveal to the Oops rule
paulson [Mon, 28 Oct 1996 12:55:24 +0100] rev 2131
Changing from the Reveal to the Oops rule
Sun, 27 Oct 1996 13:47:02 +0100 Simplifid proofs.
nipkow [Sun, 27 Oct 1996 13:47:02 +0100] rev 2130
Simplifid proofs.
Fri, 25 Oct 1996 15:02:09 +0200 Added (? x. t=x) = True
nipkow [Fri, 25 Oct 1996 15:02:09 +0200] rev 2129
Added (? x. t=x) = True
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip