doc-src/AxClass/Makefile
2005-08-19 wenzelm 2005-08-19 fixed deps;
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 tuned;
1999-05-10 wenzelm 1999-05-10 pdf setup;
1999-05-05 wenzelm 1999-05-05 improved Makefile;
1997-05-12 wenzelm 1997-05-12 Tutorial on Axiomatic Type Classes;