Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Merged
  2. Moved material from AFP/Randomised_Social_Choice to distribution
Changeset 63100:aa5cffd8a606 by eberlm:
Merged
Changeset 63099:af0e964aad7b by eberlm:
Moved material from AFP/Randomised_Social_Choice to distribution
The file was modified src/HOL/Complete_Lattices.thy (diff)
The file was modified src/HOL/Finite_Set.thy (diff)
The file was modified src/HOL/Groups_List.thy (diff)
The file was modified src/HOL/Library/Disjoint_Sets.thy (diff)
The file was modified src/HOL/Library/Extended_Nonnegative_Real.thy (diff)
The file was modified src/HOL/Library/Extended_Real.thy (diff)
The file was modified src/HOL/Library/Indicator_Function.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/Library/Permutations.thy (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/Nat.thy (diff)
The file was modified src/HOL/Probability/Probability_Mass_Function.thy (diff)
The file was modified src/HOL/Probability/Probability_Measure.thy (diff)
The file was modified src/HOL/Set.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
The file was modified src/HOL/Wellfounded.thy (diff)