| Tue, 26 Jun 2007 18:28:40 +0200 | paulson | simplified | 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 |
| Fri, 05 Dec 2003 12:58:18 +0100 | paulson | stylistic changes | file | diff | annotate |
| Tue, 13 Nov 2001 22:18:03 +0100 | wenzelm | tuned inductions; | file | diff | annotate |