Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Probability/Random_Permutations.thy
changeset 73477 1d8a79aa2a99
parent 72671 588c751a5eef 
--- a/src/HOL/Probability/Random_Permutations.thy	Wed Mar 24 21:17:19 2021 +0100
+++ b/src/HOL/Probability/Random_Permutations.thy	Thu Mar 25 08:52:15 2021 +0000
@@ -12,8 +12,8 @@
 
 theory Random_Permutations
 imports 
+  "HOL-Combinatorics.Multiset_Permutations"
   Probability_Mass_Function
-  "HOL-Library.Multiset_Permutations"
 begin
 
 text \<open>
isabelle