| Wed, 28 May 2008 23:33:51 +0200 | wenzelm | more contribs; | file | diff | annotate |
| Mon, 12 May 2008 22:03:33 +0200 | wenzelm | misc tuning; | file | diff | annotate |
| Tue, 22 Apr 2008 08:33:09 +0200 | haftmann | added entries | file | diff | annotate |
| Wed, 05 Mar 2008 14:34:39 +0100 | wenzelm | HOL/Library/RBT.thy; | file | diff | annotate |
| Mon, 26 Nov 2007 22:59:21 +0100 | wenzelm | Peter Lammich: HOL-Lattice lemmas; | file | diff | annotate |
| Wed, 21 Nov 2007 16:40:51 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 20 Nov 2007 14:01:49 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 12 Nov 2007 11:07:51 +0100 | schirmer | fixed typo; | file | diff | annotate |
| Sun, 11 Nov 2007 16:50:27 +0100 | wenzelm | HOL-Statespace; | file | diff | annotate |
| Tue, 16 Oct 2007 18:34:51 +0200 | wenzelm | Mark A. Hillebrand, DFKI: Robust sub/superscripts in LaTeX document output. | file | diff | annotate |
| Mon, 01 Oct 2007 21:19:50 +0200 | wenzelm | Norbert Schirmer: record improvements; | file | diff | annotate |
| Mon, 01 Oct 2007 19:52:07 +0200 | wenzelm | misc tuning and update; | file | diff | annotate |
| Mon, 20 Aug 2007 04:34:31 +0200 | kleing | * HOL-Word: | file | diff | annotate |
| Mon, 20 Aug 2007 00:22:18 +0200 | kleing | boolean algebras as locales and numbers as types by Brian Huffman | file | diff | annotate |
| Thu, 21 Jun 2007 13:23:33 +0200 | paulson | integration of Metis prover | file | diff | annotate |