Tue, 10 Feb 2004 12:02:11 +0100 | paulson | generic of_nat and of_int functions, and generalization of iszero | file | diff | annotate |
Tue, 03 Oct 2000 22:39:49 +0200 | wenzelm | Hoare logic in Isar; | file | diff | annotate |
Tue, 07 Dec 1999 12:13:09 +0100 | wenzelm | tuned; | file | diff | annotate |
Fri, 29 Oct 1999 19:24:20 +0200 | wenzelm | workaround bug (feature?) in bibtex; | file | diff | annotate |
Thu, 28 Oct 1999 19:57:34 +0200 | wenzelm | improved presentation; | file | diff | annotate |
Sat, 09 Oct 1999 23:17:47 +0200 | wenzelm | bib; | file | diff | annotate |