Thu, 27 Jul 1995 13:13:32 +0200 | wenzelm | minor fix: instance now raises error if witness axioms don't exist; | changeset | files |
Wed, 26 Jul 1995 17:35:23 +0200 | lcp | Many small changes to make proofs run faster | changeset | files |
Wed, 26 Jul 1995 16:23:42 +0200 | lcp | Now includes all the AC files | changeset | files |
Wed, 26 Jul 1995 11:29:57 +0200 | lcp | tidied proof of add_less_mono | changeset | files |
Wed, 26 Jul 1995 10:26:19 +0200 | lcp | trivial updates to header and bibliography | changeset | files |
Tue, 25 Jul 1995 17:31:53 +0200 | lcp | Numerous small improvements by KG and LCP | changeset | files |