Summary
- Merged
- 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) |