src/HOL/ex/Locales.thy
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