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