| Thu, 29 May 2008 22:45:33 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Mon, 02 May 2005 11:03:27 +0200 | haftmann | introduced @{const ...} antiquotation | file | diff | annotate |
| Thu, 10 Jan 2002 13:25:48 +0100 | paulson | stylistic changes | file | diff | annotate |
| Mon, 07 Jan 2002 23:56:11 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 07 Jan 2002 18:58:35 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 05 Jan 2002 01:14:46 +0100 | wenzelm | fixed \index; | file | diff | annotate |
| Fri, 21 Dec 2001 20:58:42 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 20 Dec 2001 21:11:04 +0100 | wenzelm | turned into proper Isabelle document; | file | diff | annotate |
| Thu, 06 Dec 2001 16:05:06 +0100 | paulson | replaced record_split by the cases method | file | diff | annotate |
| Thu, 06 Dec 2001 13:00:25 +0100 | paulson | record extend and truncate | file | diff | annotate |
| Mon, 12 Nov 2001 10:56:38 +0100 | paulson | new-style numerals without leading #, along with generic 0 and 1 | file | diff | annotate |
| Thu, 25 Oct 2001 22:59:11 +0200 | wenzelm | accomodate some recent changes of record package; | file | diff | annotate |
| Mon, 08 Oct 2001 14:29:02 +0200 | wenzelm | fixed numerals; | file | diff | annotate |
| Tue, 17 Jul 2001 13:46:21 +0200 | paulson | tidying the index | file | diff | annotate |
| Fri, 29 Jun 2001 18:12:18 +0200 | paulson | the records section | file | diff | annotate |
| Fri, 29 Jun 2001 16:59:10 +0200 | paulson | for the records section | file | diff | annotate |