Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. make Randomised_Social_Choice work with contemporary Isabelle top revision 2c48be88f847
Changeset 10211:51034f90c51c by haftmann:
make Randomised_Social_Choice work with contemporary Isabelle top revision 2c48be88f847
The file was modified thys/Randomised_Social_Choice/Stochastic_Dominance.thy