doc-src/isar.sty
2008-05-02 wenzelm 2008-05-02 added begin and imports;
2008-04-28 wenzelm 2008-04-28 added AND, IS, WHERE symbols;
2008-04-24 wenzelm 2008-04-24 more abstract index commands;
2008-04-24 wenzelm 2008-04-24 added \indexoutersyntax; removed permuted index;
2008-01-10 haftmann 2008-01-10 added overloading target
2007-12-05 haftmann 2007-12-05 added something about instantiation target
2007-10-12 haftmann 2007-10-12 added subclass command
2006-08-14 haftmann 2006-08-14 added passage on class package
2006-07-04 wenzelm 2006-07-04 added 'unfolding';
2006-02-02 wenzelm 2006-02-02 index elements;
2005-06-01 ballarin 2005-06-01 Locales: new element constrains, parameter renaming with syntax, experimental command instantiate withdrawn.
2002-03-07 wenzelm 2002-03-07 tuned;
2002-03-04 wenzelm 2002-03-04 \SHOWS;
2002-02-28 wenzelm 2002-02-28 updated;
2002-02-27 wenzelm 2002-02-27 'using' command;
2002-01-03 wenzelm 2002-01-03 \CONSTDEFS;
2002-01-02 wenzelm 2002-01-02 added \indexisarcmdof, \indexisarmethof, \indexisarattof; added \COROLLARYNAME, \COROLLARY;
2001-01-10 wenzelm 2001-01-10 tuned \DOT, \DDOT;
2000-10-25 wenzelm 2000-10-25 added \isarantiq;
2000-10-17 wenzelm 2000-10-17 improved;
2000-10-15 wenzelm 2000-10-15 more elements;
2000-06-29 wenzelm 2000-06-29 added \indexisarant;
2000-05-28 wenzelm 2000-05-28 \newcommand{\indexisarcase};
2000-05-21 wenzelm 2000-05-21 improved \BG, \EN;
2000-03-30 wenzelm 2000-03-30 added \MOREOVER, \ULTIMATELY;
2000-03-17 wenzelm 2000-03-17 fixed \OBTAIN;
2000-03-14 wenzelm 2000-03-14 added \NEXT;
2000-03-08 wenzelm 2000-03-08 added \CASE, \OBTAIN, \SORRY, \OOPS; removed \SUFF;
1999-10-29 wenzelm 1999-10-29 tuned;
1999-10-29 wenzelm 1999-10-29 tuned;
1999-10-21 wenzelm 1999-10-21 removed \BG, \EN;
1999-10-21 wenzelm 1999-10-21 added \ISS;
1999-09-07 wenzelm 1999-09-07 \indexisarmeth: "Methods";
1999-09-04 wenzelm 1999-09-04 added \indexisarvar;
1999-09-03 wenzelm 1999-09-03 permuted index;
1999-08-30 wenzelm 1999-08-30 tuned;
1999-08-24 wenzelm 1999-08-24 tuned;
1999-08-23 wenzelm 1999-08-23 tuned;
1999-08-22 wenzelm 1999-08-22 \indexisarreg;
1999-08-04 wenzelm 1999-08-04 improved \NOTE; added \BYY;
1999-08-03 wenzelm 1999-08-03 tuned;
1999-07-30 wenzelm 1999-07-30 Isabelle/Isar macros;
1999-07-20 wenzelm 1999-07-20 checkpoint;