| 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 |