| 2010-11-09 | haftmann | 2010-11-09 | more appropriate specification packages; fun_rel_def is no simp rule by default | file | diff | annotate |
| 2010-09-13 | nipkow | 2010-09-13 | renamed lemmas: ext_iff -> fun_eq_iff, set_ext_iff -> set_eq_iff, set_ext -> set_eqI | file | diff | annotate |
| 2010-09-07 | nipkow | 2010-09-07 | expand_fun_eq -> ext_iff expand_set_eq -> set_ext_iff Naming in line now with multisets | file | diff | annotate |
| 2010-07-01 | haftmann | 2010-07-01 | "prod" and "sum" replace "*" and "+" respectively | file | diff | annotate |
| 2010-05-06 | Cezary Kaliszyk | 2010-05-06 | respectfullness and preservation of prod_rel | file | diff | annotate |
| 2010-03-14 | wenzelm | 2010-03-14 | observe standard header format; | file | diff | annotate |
| 2010-02-19 | Cezary Kaliszyk | 2010-02-19 | Initial version of HOL quotient package. | file | diff | annotate |