| 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 |
| Mon, 27 Mar 1995 18:29:23 +0200 | nipkow | Added recursion equations for foldl to list_ss. | changeset | files |