Wed, 25 Aug 1999 10:55:02 +0200 | paulson | new guarantees laws; also better natural deduction style for old ones | changeset | files |
Wed, 25 Aug 1999 10:53:19 +0200 | paulson | split_paired_Eps and lemmas | changeset | files |
Wed, 25 Aug 1999 10:45:41 +0200 | paulson | new theorem inv_f_eq | changeset | files |