| Tue, 04 Sep 2001 21:10:57 +0200 | wenzelm | renamed "antecedent" case to "rule_context"; | changeset | files |
| Tue, 04 Sep 2001 17:31:18 +0200 | nipkow | *** empty log message *** | changeset | files |
| Mon, 03 Sep 2001 10:28:52 +0200 | nipkow | *** empty log message *** | changeset | files |
| Sat, 01 Sep 2001 00:20:44 +0200 | wenzelm | tuned; | changeset | files |
| 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 |
| Fri, 31 Aug 2001 22:46:23 +0200 | wenzelm | * Proof General keywords specification is now part of the Isabelle | changeset | files |