Fri, 06 Jun 1997 10:47:16 +0200 | paulson | Tidying and simplification of declarations | changeset | files |
Fri, 06 Jun 1997 10:46:26 +0200 | paulson | Much polishing of proofs | changeset | files |
Fri, 06 Jun 1997 10:22:13 +0200 | paulson | New miniscoping rules for ALL | changeset | files |
Fri, 06 Jun 1997 10:21:10 +0200 | paulson | New facts about In0/1 by Burkhart Wolff | changeset | files |
Fri, 06 Jun 1997 10:20:38 +0200 | paulson | New miniscoping rules ball_triv and bex_triv | changeset | files |
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 |