Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merged
  2. Set_Permutations replaced by more general Multiset_Permutations
Changeset 63966:957ba35d1338 by manuel eberl _eberlm@in.tum.de_:
Merged
Changeset 63965:d510b816ea41 by eberlm _eberlm@in.tum.de_:
Set_Permutations replaced by more general Multiset_Permutations
The file was addedsrc/HOL/Library/Multiset_Permutations.thy
The file was modified src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy (diff)
The file was modified src/HOL/Library/Library.thy (diff)
The file was modified src/HOL/Probability/Random_Permutations.thy (diff)
The file was removedsrc/HOL/Library/Set_Permutations.thy