| Mon, 17 Mar 1997 15:38:26 +0100 | nipkow | *** empty log message *** | changeset | files |
| Mon, 17 Mar 1997 15:37:41 +0100 | nipkow | The HOLCF-based den. sem. of IMP. | changeset | files |
| Mon, 17 Mar 1997 15:37:16 +0100 | nipkow | Added the HOLCF-based den. sem. of IMP. | changeset | files |
| Mon, 17 Mar 1997 15:09:13 +0100 | nipkow | Added link to HOLCF/IMP | changeset | files |
| Mon, 17 Mar 1997 12:25:22 +0100 | wenzelm | fixed perl path; | changeset | files |
| Mon, 17 Mar 1997 10:39:57 +0100 | wenzelm | uncommented chown / chmod (again); | changeset | files |
| Fri, 14 Mar 1997 10:37:01 +0100 | nipkow | Modified proofs because simplifier does not eta-contract any longer. | changeset | files |