doc-src/AxClass/IsaMakefile
2005-08-19 wenzelm 2005-08-19 tuned generated stuff;
2005-08-19 wenzelm 2005-08-19 tuned;
2000-05-22 wenzelm 2000-05-22 tuned;
2000-05-21 wenzelm 2000-05-21 snapshot of new Isar'ized version;