Thu, 20 Jan 1994 12:38:02 +0100 | nipkow | removed square and fact | changeset | files |
Wed, 19 Jan 1994 17:40:26 +0100 | nipkow | HOLCF examples | changeset | files |
Wed, 19 Jan 1994 17:35:01 +0100 | nipkow | Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF | changeset | files |