Fri, 06 Jun 1997 10:19:53 +0200 | paulson | Mended the definition of ack(0,n) | changeset | files |
Fri, 06 Jun 1997 10:19:20 +0200 | paulson | Two new examples; corrected a comment | changeset | files |
Fri, 06 Jun 1997 10:18:46 +0200 | paulson | New example theory: Recdef | changeset | files |