Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Merged
  2. Moved material from Randomised_Social_Choice to distribution
Changeset 6613:56eabc1fd725 by manuel eberl _eberlm@in.tum.de_:
Merged
Changeset 6612:677c2dea410f by manuel eberl _eberlm@in.tum.de_:
Moved material from Randomised_Social_Choice to distribution
The file was modified thys/Randomised_Social_Choice/Automation/Preference_Profile_Cmd.thy (diff)
The file was modified thys/Randomised_Social_Choice/Automation/SDS_Automation.thy (diff)
The file was modified thys/Randomised_Social_Choice/Order_Predicates.thy (diff)
The file was modified thys/Randomised_Social_Choice/Preference_Profiles.thy (diff)
The file was modified thys/Randomised_Social_Choice/Random_Permutations.thy (diff)
The file was modified thys/Randomised_Social_Choice/SDS_Lowering.thy (diff)
The file was modified thys/Randomised_Social_Choice/SD_Efficiency.thy (diff)
The file was modified thys/Randomised_Social_Choice/Set_Permutations.thy (diff)
The file was modified thys/Randomised_Social_Choice/Social_Decision_Schemes.thy (diff)
The file was modified thys/Randomised_Social_Choice/Stochastic_Dominance.thy (diff)
The file was modified thys/Randomised_Social_Choice/Utility_Functions.thy (diff)
The file was removedthys/Randomised_Social_Choice/Missing_Multiset.thy
The file was removedthys/Randomised_Social_Choice/Missing_PMF.thy
The file was removedthys/Randomised_Social_Choice/Missing_Permutations.thy
The file was removedthys/Randomised_Social_Choice/PMF_Of_List.thy