doc-src/AxClass/body.tex
2005-08-19 wenzelm 2005-08-19 tuned generated stuff;
2000-10-03 wenzelm 2000-10-03 major cleanup -- improved typesetting;
2000-05-22 wenzelm 2000-05-22 tuned;
2000-05-22 wenzelm 2000-05-22 tuned;
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;