doc-src/AxClass/Nat/NatClass.ML
2000-10-03 wenzelm 2000-10-03 major cleanup -- improved typesetting;
2000-05-21 wenzelm 2000-05-21 snapshot of new Isar'ized version;