Wed, 10 Jan 2001 11:13:11 +0100 | paulson | now using "by" for one-line proofs | changeset | files |
Wed, 10 Jan 2001 11:12:45 +0100 | paulson | various changes including the SOME examples, rule_format and "by" | changeset | files |
Wed, 10 Jan 2001 11:12:17 +0100 | paulson | loads the new theory | changeset | files |