src/ZF/Fin.ML
1994-07-01 ago replaced extend_theory by new add_* functions;
1994-06-23 ago modifications for cardinal arithmetic
1994-06-21 ago Addition of cardinals and order types, various tidying
1994-05-06 ago renaming/removal of filenames to correct case