doc-src/AxClass/Group/ROOT.ML
2000-05-22 ago tuned;
2000-05-21 ago snapshot of new Isar'ized version;