1994-01-24 | wenzelm | added is_empty: env -> bool, minidx: env -> int option; | changeset | files |
1994-01-20 | nipkow | added HOLCF | changeset | files |
1994-01-20 | nipkow | removed square and fact | changeset | files |
1994-01-19 | nipkow | HOLCF examples | changeset | files |
1994-01-19 | nipkow | Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF | changeset | files |
1994-01-19 | wenzelm | commented out sig constraint of functor (for debugging purposes); | changeset | files |
Loading... |