Summary
- Merged
- Set_Permutations replaced by more general Multiset_Permutations
The file was added | src/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 removed | src/HOL/Library/Set_Permutations.thy |