Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Better separation of random and non-random parts in Randomised_Social_Choice
Changeset 7292:d83b7e88c586 by manuel eberl _eberlm@in.tum.de_:
Better separation of random and non-random parts in Randomised_Social_Choice
The file was addedthys/Randomised_Social_Choice/Automation/randomised_social_choice.ML
The file was addedthys/Randomised_Social_Choice/Elections.thy
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/Automation/preference_profiles.ML (diff)
The file was modified thys/Randomised_Social_Choice/Automation/sds_automation.ML (diff)
The file was modified thys/Randomised_Social_Choice/Order_Predicates.thy (diff)
The file was modified thys/Randomised_Social_Choice/Social_Decision_Schemes.thy (diff)