doc-src/isar.sty
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;