src/HOL/Library/Nat_Bijection.thy
2013-03-23 haftmann 2013-03-23 fundamental revision of big operators on sets
2013-03-13 paulson 2013-03-13 new lemma subset_decode_imp_le
2011-03-13 wenzelm 2011-03-13 tuned headers;
2010-09-13 nipkow 2010-09-13 renamed lemmas: ext_iff -> fun_eq_iff, set_ext_iff -> set_eq_iff, set_ext -> set_eqI
2010-06-28 haftmann 2010-06-28 merged constants "split" and "prod_case"
2010-03-10 huffman 2010-03-10 new theory Library/Nat_Bijection.thy