src/HOL/ex/Locales.thy
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2003-11-06 ballarin 2003-11-06 Isar/Locales: <loc>.intro and <loc>.axioms no longer intro? and elim? by default.
2002-08-27 wenzelm 2002-08-27 tuned;
2002-08-05 wenzelm 2002-08-05 tuned; subsection on simple meta-theory of structures;
2002-07-24 wenzelm 2002-07-24 tuned;
2002-07-16 wenzelm 2002-07-16 adapted locales;
2002-05-07 wenzelm 2002-05-07 tuned presentation;
2002-02-27 wenzelm 2002-02-27 renamed 'uses' to 'includes';
2002-02-26 wenzelm 2002-02-26 renamed "uses" to "includes";
2002-02-25 wenzelm 2002-02-25 clarified syntax of ``long'' statements: fixes/assumes/shows;
2001-12-21 wenzelm 2001-12-21 tuned;
2001-12-14 wenzelm 2001-12-14 updated;
2001-12-04 wenzelm 2001-12-04 removed \newcommand{\isasymone};
2001-11-08 wenzelm 2001-11-08 tuned;
2001-11-08 wenzelm 2001-11-08 more explanations on advanced syntax;
2001-11-07 wenzelm 2001-11-07 added structures; tuned;
2001-11-06 wenzelm 2001-11-06 Locales and simple mathematical structures;