changeset 41959 | b460124855b8 |
parent 39302 | d7728f65b353 |
child 44227 | 78e033e8ba05 |
--- a/src/HOL/Library/Permutations.thy Sun Mar 13 22:24:10 2011 +0100 +++ b/src/HOL/Library/Permutations.thy Sun Mar 13 22:55:50 2011 +0100 @@ -1,5 +1,5 @@ -(* Title: Library/Permutations - Author: Amine Chaieb, University of Cambridge +(* Title: HOL/Library/Permutations.thy + Author: Amine Chaieb, University of Cambridge *) header {* Permutations, both general and specifically on finite sets.*}