author | oheimb |
Fri, 01 May 1998 22:30:42 +0200 | |
changeset 4884 | 1ec740e30811 |
parent 243 | c22b85994e17 |
permissions | -rw-r--r-- |
243
c22b85994e17
Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF
nipkow
parents:
diff
changeset
|
1 |
Test examples ran successfully |