src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Tue Aug 16 12:06:49 2011 +0200
+++ b/src/HOL/Library/Library.thy	Tue Aug 16 07:06:54 2011 -0700
@@ -43,6 +43,7 @@
   OptionalSugar
   Option_ord
   Permutation
+  Permutations
   Poly_Deriv
   Polynomial
   Preorder