src/ZF/Fin.thy
Tue, 26 Jul 1994 13:21:20 +0200 lcp Axiom of choice, cardinality results, etc.
Tue, 21 Jun 1994 17:20:34 +0200 lcp Addition of cardinals and order types, various tidying
Fri, 06 May 1994 15:02:57 +0200 lcp renaming/removal of filenames to correct case
less more (0) tip