src/HOL/Library/Cardinality.thy
Thu, 31 May 2012 17:04:11 +0200 Andreas Lochbihler tuned instantiations
Thu, 31 May 2012 16:58:38 +0200 Andreas Lochbihler unify Card_Univ and Cardinality
Fri, 30 Mar 2012 14:00:18 +0200 huffman rephrase lemma card_Pow using '2' instead of 'Suc (Suc 0)'
Sun, 25 Mar 2012 20:15:39 +0200 huffman merged fork with new numeral representation (see NEWS)
Wed, 10 Aug 2011 18:02:16 -0700 huffman avoid warnings about duplicate rules
Wed, 06 Apr 2011 13:33:46 +0200 wenzelm typed_print_translation: discontinued show_sorts argument;
Wed, 06 Apr 2011 12:58:13 +0200 wenzelm moved unparse material to syntax_phases.ML;
Wed, 30 Jun 2010 16:28:13 +0200 haftmann split off Cardinality from Numeral_Type
less more (0) tip