src/ZF/Cardinal.thy
1995-12-09 ago removed quotes from consts and syntax sections
1994-12-23 ago Added Krzysztof's constants lesspoll and Finite
1994-11-29 ago replaced "rules" by "defs"
1994-06-21 ago Addition of cardinals and order types, various tidying