doc-src/AxClass/IsaMakefile
2008-10-04 ago replaced ISATOOL by ISABELLE_TOOL;
2008-01-27 ago removed legacy ML file;
2005-08-19 ago tuned generated stuff;
2005-08-19 ago tuned;
2000-05-22 ago tuned;
2000-05-21 ago snapshot of new Isar'ized version;