| Tue, 20 Jun 2006 15:53:44 +0200 | ballarin | Restructured locales with predicates: import is now an interpretation. | file | diff | annotate |
| Wed, 14 Sep 2005 22:08:08 +0200 | wenzelm | tuned headers etc.; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Thu, 06 Nov 2003 14:18:05 +0100 | ballarin | Isar/Locales: <loc>.intro and <loc>.axioms no longer intro? and elim? by | file | diff | annotate |
| Tue, 27 Aug 2002 15:40:58 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 05 Aug 2002 21:17:04 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 24 Jul 2002 22:13:02 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 16 Jul 2002 18:52:26 +0200 | wenzelm | adapted locales; | file | diff | annotate |
| Tue, 07 May 2002 14:27:39 +0200 | wenzelm | tuned presentation; | file | diff | annotate |
| Wed, 27 Feb 2002 19:43:20 +0100 | wenzelm | renamed 'uses' to 'includes'; | file | diff | annotate |
| Tue, 26 Feb 2002 21:44:29 +0100 | wenzelm | renamed "uses" to "includes"; | file | diff | annotate |
| Mon, 25 Feb 2002 20:48:14 +0100 | wenzelm | clarified syntax of ``long'' statements: fixes/assumes/shows; | file | diff | annotate |
| Fri, 21 Dec 2001 00:38:04 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 14 Dec 2001 22:27:43 +0100 | wenzelm | updated; | file | diff | annotate |
| Tue, 04 Dec 2001 02:01:49 +0100 | wenzelm | removed \newcommand{\isasymone}; | file | diff | annotate |
| Thu, 08 Nov 2001 23:50:08 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 08 Nov 2001 00:26:06 +0100 | wenzelm | more explanations on advanced syntax; | file | diff | annotate |
| Wed, 07 Nov 2001 18:17:16 +0100 | wenzelm | added structures; | file | diff | annotate |
| Tue, 06 Nov 2001 23:45:58 +0100 | wenzelm | Locales and simple mathematical structures; | file | diff | annotate |