| Sat, 20 Jun 2015 16:23:56 +0200 | wenzelm | misc tuning; | file | diff | annotate |
| Sat, 20 Jun 2015 15:45:02 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Thu, 11 Sep 2014 19:32:36 +0200 | blanchet | updated news | file | diff | annotate |
| Tue, 09 Sep 2014 20:51:36 +0200 | blanchet | use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries | file | diff | annotate |
| Wed, 14 Mar 2012 00:34:56 +0100 | wenzelm | misc tuning; | file | diff | annotate |
| Wed, 08 Sep 2010 19:21:46 +0200 | haftmann | modernized primrec | file | diff | annotate |
| Mon, 01 Mar 2010 18:49:55 +0100 | krauss | tuned comment | file | diff | annotate |
| Mon, 01 Mar 2010 17:05:57 +0100 | krauss | more recdef (and old primrec) hunting | file | diff | annotate |
| Wed, 10 Jun 2009 15:04:31 +0200 | haftmann | tuned header | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Sat, 27 May 2006 17:42:02 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 24 Nov 2005 00:00:20 +0100 | wenzelm | tuned induct proofs; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Wed, 01 Jun 2005 18:29:03 +0200 | paulson | ordering for the ordinals | file | diff | annotate |
| Wed, 25 May 2005 16:14:40 +0200 | paulson | new Brouwer ordinal example | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Tue, 13 Nov 2001 22:18:03 +0100 | wenzelm | tuned inductions; | file | diff | annotate |
| Mon, 01 Oct 2001 15:46:35 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 03 Feb 2001 17:40:16 +0100 | wenzelm | Induct: converted some theories to new-style format; | file | diff | annotate |
| Fri, 16 Jul 1999 14:03:03 +0200 | berghofe | Infinitely branching trees. | file | diff | annotate |