| Fri, 31 Mar 1995 15:08:49 +0200 | wenzelm | replaced 'arities' by 'instance'; | changeset | files |
| Fri, 31 Mar 1995 12:22:16 +0200 | lcp | Simplified using pattern replacements. Added the AC example. | changeset | files |
| Fri, 31 Mar 1995 11:55:29 +0200 | lcp | New example of AC Equivalences by Krzysztof Grabczewski | changeset | files |
| Fri, 31 Mar 1995 11:39:47 +0200 | lcp | New example of AC Equivalences by Krzysztof Grabczewski | changeset | files |
| Fri, 31 Mar 1995 11:08:35 +0200 | lcp | Tried the new addss in many proofs, and tidied others involving simplification. | changeset | files |
| Fri, 31 Mar 1995 10:58:14 +0200 | lcp | Tried the new addss in a proof. | changeset | files |
| Fri, 31 Mar 1995 02:00:29 +0200 | lcp | Defined addss to perform simplification in a claset. | changeset | files |