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 |