| Fri, 27 Mar 2009 10:05:11 +0100 | haftmann | normalized imports | file | diff | annotate |
| Thu, 12 Mar 2009 08:57:03 -0700 | huffman | remove trailing spaces | file | diff | annotate |
| Wed, 04 Mar 2009 19:21:56 +0000 | chaieb | Moved general theorems about sums and products to FiniteSet.thy | file | diff | annotate |
| Wed, 04 Mar 2009 11:05:29 +0100 | blanchet | Merge. | file | diff | annotate |
| Wed, 04 Mar 2009 10:45:52 +0100 | blanchet | Merge. | file | diff | annotate |
| Tue, 03 Mar 2009 17:05:18 +0100 | nipkow | removed and renamed redundant lemmas | file | diff | annotate |
| Sat, 21 Feb 2009 20:52:30 +0100 | nipkow | Removed subsumed lemmas | file | diff | annotate |
| 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 |