| Thu, 29 Mar 2007 11:59:54 +0200 | paulson | simplified some steps | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Tue, 07 Nov 2006 19:39:54 +0100 | wenzelm | fixed locale fact references; | file | diff | annotate |
| Sat, 27 May 2006 17:42:02 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 22 Mar 2006 12:32:44 +0100 | paulson | Slight simplification of proofs | file | diff | annotate |
| Mon, 23 Jan 2006 11:36:50 +0100 | paulson | fixed the <<= notation | file | diff | annotate |
| Thu, 19 Jan 2006 10:22:13 +0100 | paulson | strengthened some lemmas; simplified some proofs | file | diff | annotate |
| Wed, 12 Oct 2005 10:49:07 +0200 | paulson | tidying | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Thu, 15 Apr 2004 14:17:45 +0200 | nipkow | Added ex/Exceptions.thy | file | diff | annotate |
| Thu, 26 Sep 2002 10:51:29 +0200 | paulson | Converted Fun to Isar style. | file | diff | annotate |
| Tue, 16 Jul 2002 18:52:26 +0200 | wenzelm | adapted locales; | file | diff | annotate |
| Wed, 08 May 2002 09:08:16 +0200 | paulson | Tidied and converted to Isar by lcp | file | diff | annotate |
| Mon, 10 Dec 2001 20:59:43 +0100 | wenzelm | bounded abstraction now uses syntax "%" / "\<lambda>" instead of "lam"; | file | diff | annotate |
| Tue, 09 Jan 2001 15:32:27 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 05 Jan 2001 18:48:18 +0100 | nipkow | ^^ -> ``` | file | diff | annotate |
| Tue, 27 Jul 1999 22:34:11 +0200 | wenzelm | back again, supposedly with correct perms; | file | diff | annotate |
| Tue, 27 Jul 1999 22:32:22 +0200 | wenzelm | fixed perms and final nl; | file | diff | annotate |
| Mon, 26 Jul 1999 16:30:50 +0200 | paulson | HOL/ex/Tarski: new example by Florian Kammueller | file | diff | annotate |