Summary
- Removed problematic code equation for set_permutations
- Backed out changeset 8230358fab88
The file was modified | src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy (diff) |
The file was modified | src/HOL/Probability/Random_Permutations.thy (diff) |
The file was modified | src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy (diff) |
The file was modified | src/HOL/Number_Theory/Factorial_Ring.thy (diff) |
The file was modified | src/HOL/Probability/Random_Permutations.thy (diff) |