| Thu, 30 Mar 1995 13:54:41 +0200 | lcp | Tried the new addss in many proofs, and tidied others | changeset | files |
| Thu, 30 Mar 1995 13:48:30 +0200 | lcp | Precedence of infixes is now 4 (just above that of :=) | changeset | files |
| Thu, 30 Mar 1995 13:44:34 +0200 | lcp | Addition of wrappers for integration with the simplifier. | changeset | files |
| Thu, 30 Mar 1995 13:36:00 +0200 | lcp | Defined addss to perform simplification in a claset. | changeset | files |
| Thu, 30 Mar 1995 13:07:59 +0200 | clasohm | removed unnecessary parentheses from the generated rules | changeset | files |
| Thu, 30 Mar 1995 08:54:17 +0200 | nipkow | Simplification: used Logic.occs instead of mem add_term_frees | changeset | files |
| Tue, 28 Mar 1995 13:13:17 +0200 | clasohm | changed string scanner so that newlines ('\n') are allowed and ignored inside | changeset | files |