src/HOL/Library/Cardinality.thy
2011-04-06 wenzelm 2011-04-06 typed_print_translation: discontinued show_sorts argument;
2011-04-06 wenzelm 2011-04-06 moved unparse material to syntax_phases.ML;
2010-06-30 haftmann 2010-06-30 split off Cardinality from Numeral_Type