src/HOL/Library/Permutations.thy
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.