Sat, 01 Sep 2001 00:20:22 +0200 final proofs := 0;
wenzelm [Sat, 01 Sep 2001 00:20:22 +0200] rev 11545
final proofs := 0;
Sat, 01 Sep 2001 00:20:06 +0200 HOL-Real-Hyperreal made a plain session (no longer an image);
wenzelm [Sat, 01 Sep 2001 00:20:06 +0200] rev 11544
HOL-Real-Hyperreal made a plain session (no longer an image);
Sat, 01 Sep 2001 00:14:16 +0200 renamed `keep_derivs' to `proofs', and made an integer;
wenzelm [Sat, 01 Sep 2001 00:14:16 +0200] rev 11543
renamed `keep_derivs' to `proofs', and made an integer;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip