Skip to content
Failed

Changes

Summary

  1. adapt to Isabelle 9c99fccce3cf
Changeset 7147:5cc6c4c303de by hoelzl:
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)