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 |