Summary
- adapt to Isabelle 9c99fccce3cf
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 modified | thys/Randomised_Social_Choice/Stochastic_Dominance.thy (diff) |
The file was modified | thys/Randomised_Social_Choice/Utility_Functions.thy (diff) |