| Thu, 04 Dec 1997 09:05:59 +0100 | nipkow | Simplified proofs. | file | diff | annotate |
| Fri, 10 Oct 1997 19:02:28 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Fri, 30 May 1997 15:21:21 +0200 | paulson | Replacement of "divides" by "dvd" from Divides.thy, and updating of proofs | file | diff | annotate |
| Tue, 25 Jun 1996 13:11:29 +0200 | berghofe | Changed argument order of nat_rec. | file | diff | annotate |
| Fri, 08 Mar 1996 13:11:09 +0100 | clasohm | added constdefs section | file | diff | annotate |
| Mon, 05 Feb 1996 21:29:06 +0100 | clasohm | expanded tabs; incorporated Konrad's changes | file | diff | annotate |
| Wed, 29 Nov 1995 17:01:41 +0100 | clasohm | removed quotes from consts and syntax sections | file | diff | annotate |
| Fri, 17 Nov 1995 09:04:10 +0100 | nipkow | New directory. | file | diff | annotate |