src/HOL/Library/Nat_Bijection.thy
2016-01-03 wenzelm 2016-01-03 tuned whitespace;
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2015-06-01 haftmann 2015-06-01 separate class for division operator, with particular syntax added in more specific classes
2015-02-10 paulson 2015-02-10 Not a simprule, as it complicates proofs
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-10-30 haftmann 2014-10-30 more simp rules concerning dvd and even/odd
2014-10-23 haftmann 2014-10-23 downshift of theory Parity in the hierarchy
2014-10-20 haftmann 2014-10-20 augmented and tuned facts on even/odd and division
2014-07-04 haftmann 2014-07-04 reduced name variants for assoc and commute on plus and mult
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