src/HOL/Nat_Transfer.thy
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-09-07 nipkow 2010-09-07 expand_fun_eq -> ext_iff expand_set_eq -> set_ext_iff Naming in line now with multisets
2010-03-18 haftmann 2010-03-18 meaningful transfer certificate
2010-03-09 haftmann 2010-03-09 misc tuning
2010-03-08 haftmann 2010-03-08 transfer: avoid camel case
2010-03-03 haftmann 2010-03-03 tuned whitespace
2009-10-29 haftmann 2009-10-29 moved Nat_Transfer before Divides; distributed Nat_Transfer setup accordingly
2009-10-29 haftmann 2009-10-29 moved Nat_Transfer before Divides; distributed Nat_Transfer setup accordingly
2009-09-10 haftmann 2009-09-10 obey underscore naming convention