| Sat, 01 Sep 2001 00:20:22 +0200 | wenzelm | final proofs := 0; | changeset | files |
| Sat, 01 Sep 2001 00:20:06 +0200 | wenzelm | HOL-Real-Hyperreal made a plain session (no longer an image); | changeset | files |
| Sat, 01 Sep 2001 00:14:16 +0200 | wenzelm | renamed `keep_derivs' to `proofs', and made an integer; | changeset | files |