Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Removed problematic code equation for set_permutations
  2. Backed out changeset 8230358fab88
Changeset 63134:aa573306a9cd by eberlm:
Removed problematic code equation for set_permutations
The file was modified src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy (diff)
The file was modified src/HOL/Probability/Random_Permutations.thy (diff)
Changeset 63133:feea9cf343d9 by eberlm:
Backed out changeset 8230358fab88
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)