src/HOL/Library/Permutations.thy
2011-12-20 bulwahn 2011-12-20 tuned
2011-08-16 huffman 2011-08-16 get Library/Permutations.thy compiled and working again
2011-03-13 wenzelm 2011-03-13 tuned headers;
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-04-25 huffman 2010-04-25 fix duplicate simp rule warnings
2010-04-24 huffman 2010-04-24 fix imports
2009-12-16 huffman 2009-12-16 swap_self already declared [simp]
2009-11-16 hoelzl 2009-11-16 removed hassize predicate
2009-10-22 nipkow 2009-10-22 inv_onto -> inv_into
2009-10-18 nipkow 2009-10-18 merged
2009-10-18 nipkow 2009-10-18 Inv -> inv_onto, inv abbr. inv_onto UNIV.
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2009-08-31 nipkow 2009-08-31 tuned the simp rules for Int involving insert and intervals.
2009-03-23 haftmann 2009-03-23 Main is (Complex_Main) base entry point in library theories
2009-03-12 huffman 2009-03-12 remove trailing spaces
2009-03-04 wenzelm 2009-03-04 removed old/broken CVS Ids;
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 blanchet 2009-03-04 Merge.
2009-02-23 huffman 2009-02-23 explicitly import Fact
2009-02-20 huffman 2009-02-20 generalize lemmas from nat to 'a::wellorder
2009-02-20 huffman 2009-02-20 generalize some lemmas
2009-02-09 chaieb 2009-02-09 Permutations, both general and specifically on finite sets.