src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Mon Feb 04 16:01:44 2019 +0100
+++ b/src/HOL/Library/Library.thy	Mon Feb 04 15:39:37 2019 +0100
@@ -63,6 +63,7 @@
   Perm
   Permutation
   Permutations
+  Power_By_Squaring
   Preorder
   Product_Plus
   Quadratic_Discriminant