| Fri, 28 Jul 1995 11:20:22 +0200 | lcp | Ran expandshort and changed spelling of Grabczewski | changeset | files |
| Fri, 28 Jul 1995 11:02:22 +0200 | lcp | Ran expandshort and changed spelling of Grabczewski | changeset | files |
| Thu, 27 Jul 1995 18:28:14 +0200 | nipkow | Added rev_append and rev_rev_ident to list_ss. | changeset | files |
| 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 |