| Wed, 21 Jul 1999 15:22:11 +0200 | paulson | tweaked proofs to handle new freeness reasoning for data c onstructors | file | diff | annotate |
| Thu, 10 Jun 1999 10:36:41 +0200 | paulson | new translation to allow images over Nonce | file | diff | annotate |
| Fri, 16 Oct 1998 12:20:41 +0200 | paulson | parent is Main | file | diff | annotate |