src/HOL/ex/Landau.thy
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
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-05-11 haftmann 2010-05-11 tuned
2010-05-04 haftmann 2010-05-04 locale predicates of classes carry a mandatory "class" prefix
2009-06-02 haftmann 2009-06-02 added Landau theory