| 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 |
| Mon, 03 Aug 1998 10:37:34 +0200 | paulson | Better comments | file | diff | annotate |
| Fri, 24 Jul 1998 13:03:20 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |
| Tue, 30 Jun 1998 20:51:15 +0200 | berghofe | Adapted to new inductive definition package. | file | diff | annotate |
| Thu, 11 Sep 1997 12:24:28 +0200 | paulson | Split base cases from "msg" to "atomic" in order | file | diff | annotate |