| 2010-12-29 | wenzelm | explicit file specifications -- avoid secondary load path; | file | diff | annotate |
| 2010-09-13 | nipkow | renamed lemmas: ext_iff -> fun_eq_iff, set_ext_iff -> set_eq_iff, set_ext -> set_eqI | file | diff | annotate |
| 2010-09-07 | nipkow | expand_fun_eq -> ext_iff | file | diff | annotate |
| 2010-05-11 | haftmann | tuned | file | diff | annotate |
| 2010-05-04 | haftmann | locale predicates of classes carry a mandatory "class" prefix | file | diff | annotate |
| 2009-06-02 | haftmann | added Landau theory | file | diff | annotate |