| Wed, 28 Jan 2009 16:29:16 +0100 | nipkow | Replaced group_ and ring_simps by algebra_simps; | file | diff | annotate |
| Wed, 19 Nov 2008 17:55:18 +0100 | nipkow | fixed | file | diff | annotate |
| Thu, 23 Oct 2008 00:24:31 +0200 | wenzelm | fixed and reactivated HOL/Library/Pocklington.thy -- by Mark Hillebrand; | file | diff | annotate |
| Mon, 21 Jul 2008 13:36:59 +0200 | chaieb | Tuned and simplified proofs | file | diff | annotate |
| Mon, 07 Jul 2008 08:47:17 +0200 | haftmann | absolute imports of HOL/*.thy theories | file | diff | annotate |
| Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
| Wed, 27 Feb 2008 14:39:52 +0100 | chaieb | Fixed proofs | file | diff | annotate |
| Mon, 25 Feb 2008 12:04:09 +0100 | chaieb | Pocklington's Primality criterion | file | diff | annotate |