--- a/src/HOL/Library/Library.thy Wed Apr 03 15:14:36 2019 +0100 +++ b/src/HOL/Library/Library.thy Wed Apr 03 16:38:27 2019 +0100 @@ -64,6 +64,7 @@ Perm Permutation Permutations + Poly_Mapping Power_By_Squaring Preorder Product_Plus