Thu, 06 Apr 1995 10:55:06 +0200 | lcp | Now sets loadpath. | changeset | files |
Thu, 06 Apr 1995 10:53:21 +0200 | lcp | Gave tighter priorities to SUM and PROD to reduce ambiguities. | changeset | files |
Thu, 06 Apr 1995 10:51:42 +0200 | lcp | Gave tighter priorities to if, napply and the let-forms to | changeset | files |
Thu, 06 Apr 1995 10:49:53 +0200 | lcp | Now sets eta_contract. | changeset | files |
Thu, 06 Apr 1995 10:48:11 +0200 | lcp | Added Id: line | changeset | files |
Sun, 02 Apr 1995 10:43:59 +0200 | nipkow | generalized map (%x.x) xs = xs to map (%x.x) = (%xs.xs) | changeset | files |
Fri, 31 Mar 1995 15:08:49 +0200 | wenzelm | replaced 'arities' by 'instance'; | changeset | files |