| 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 |
| Fri, 31 Aug 2001 22:46:23 +0200 | wenzelm | * Proof General keywords specification is now part of the Isabelle | changeset | files |
| Fri, 31 Aug 2001 22:45:08 +0200 | wenzelm | proper use of invent_names; | changeset | files |