
diff -r b4b70d13c995 -r 4dc3baf45d6a src/HOL/Combinatorics/Combinatorics.thy
--- a/src/HOL/Combinatorics/Combinatorics.thy	Tue May 04 17:57:16 2021 +0000
+++ b/src/HOL/Combinatorics/Combinatorics.thy	Wed May 05 16:09:02 2021 +0000
@@ -8,6 +8,7 @@
   List_Permutation
   Multiset_Permutations
   Cycles
+  Perm
 begin
 
 end




