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 |
Tue, 28 Mar 1995 12:25:20 +0200 | clasohm | changed syntax of datatype declarations (curried types for constructor | changeset | files |
Tue, 28 Mar 1995 12:21:10 +0200 | clasohm | renamed theorem "apfst" to "apfst_conv" to avoid conflict with function | changeset | files |
Tue, 28 Mar 1995 10:24:45 +0200 | lcp | Corrected faulty reference to Hindley-Milner type inference | changeset | files |