doc-src/AxClass/Nat/ROOT.ML
2000-05-21 wenzelm 2000-05-21 snapshot of new Isar'ized version;