src/HOL/Word/Misc_Typedef.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-06-30 haftmann 2010-06-30 more speaking theory names