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