src/HOL/ex/Locales.thy
Tue, 27 Aug 2002 15:40:58 +0200 wenzelm tuned;
Mon, 05 Aug 2002 21:17:04 +0200 wenzelm tuned;
Wed, 24 Jul 2002 22:13:02 +0200 wenzelm tuned;
Tue, 16 Jul 2002 18:52:26 +0200 wenzelm adapted locales;
Tue, 07 May 2002 14:27:39 +0200 wenzelm tuned presentation;
Wed, 27 Feb 2002 19:43:20 +0100 wenzelm renamed 'uses' to 'includes';
Tue, 26 Feb 2002 21:44:29 +0100 wenzelm renamed "uses" to "includes";
Mon, 25 Feb 2002 20:48:14 +0100 wenzelm clarified syntax of ``long'' statements: fixes/assumes/shows;
Fri, 21 Dec 2001 00:38:04 +0100 wenzelm tuned;
Fri, 14 Dec 2001 22:27:43 +0100 wenzelm updated;
Tue, 04 Dec 2001 02:01:49 +0100 wenzelm removed \newcommand{\isasymone};
Thu, 08 Nov 2001 23:50:08 +0100 wenzelm tuned;
Thu, 08 Nov 2001 00:26:06 +0100 wenzelm more explanations on advanced syntax;
Wed, 07 Nov 2001 18:17:16 +0100 wenzelm added structures;
Tue, 06 Nov 2001 23:45:58 +0100 wenzelm Locales and simple mathematical structures;
less more (0) tip