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