src/HOL/Library/Cardinality.thy
2010-06-30 haftmann 2010-06-30 split off Cardinality from Numeral_Type