src/HOL/Library/More_List.thy
2010-12-03 haftmann 2010-12-03 tuned proposition
2010-12-03 haftmann 2010-12-03 lemmas fold_remove1_split and fold_multiset_equiv
2010-10-05 haftmann 2010-10-05 lemmas fold_commute and fold_commute_apply
2010-09-29 haftmann 2010-09-29 redundancy check: drop trailing Var arguments (avoids eta problems with equations)
2010-09-29 haftmann 2010-09-29 delete code lemma explicitly
2010-09-28 haftmann 2010-09-28 lemma listsum_conv_fold
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-20 haftmann 2010-05-20 proper document text
2010-05-20 haftmann 2010-05-20 added More_List.thy explicitly