1.1 --- a/src/HOL/Library/Library.thy	Tue Aug 16 12:06:49 2011 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Tue Aug 16 07:06:54 2011 -0700
     1.3 @@ -43,6 +43,7 @@
     1.4    OptionalSugar
     1.5    Option_ord
     1.6    Permutation
     1.7 +  Permutations
     1.8    Poly_Deriv
     1.9    Polynomial
    1.10    Preorder