doc-src/AxClass/axclass.tex
2005-08-19 wenzelm 2005-08-19 tuned generated stuff;
2001-12-03 wenzelm 2001-12-03 \renewcommand{\isasymzero}, \renewcommand{\isasymone};
2000-10-15 wenzelm 2000-10-15 fixed \isasyminv;
2000-10-12 wenzelm 2000-10-12 tuned syms;
2000-10-03 wenzelm 2000-10-03 major cleanup -- improved typesetting;
2000-05-22 wenzelm 2000-05-22 tuned;
2000-05-21 wenzelm 2000-05-21 new Isar version;
2000-05-21 wenzelm 2000-05-21 snapshot of new Isar'ized version;
1999-05-10 wenzelm 1999-05-10 pdf setup;
1999-03-17 wenzelm 1999-03-17 axclass_tac lost an argument;
1999-02-03 paulson 1999-02-03 standard spelling: type-checking
1997-10-27 wenzelm 1997-10-27 Isa94-2 instead of Isa95;
1997-05-12 wenzelm 1997-05-12 Tutorial on Axiomatic Type Classes;