Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Moved hiding of RBT.filter to the distribution
  2. Tuned Randomised_Social_Choice
  3. fixed severe bug in factorization oracle
Changeset 6755:cdf08de97f40 by manuel eberl _eberlm@in.tum.de_:
Moved hiding of RBT.filter to the distribution
The file was modified thys/Algebraic_Numbers/Algebraic_Numbers_Prelim.thy (diff)
Changeset 6754:ddde44f9199f by manuel eberl _eberlm@in.tum.de_:
Tuned Randomised_Social_Choice
The file was modified thys/Randomised_Social_Choice/Automation/Preference_Profile_Cmd.thy (diff)
The file was modified thys/Randomised_Social_Choice/Order_Predicates.thy (diff)
The file was modified thys/Randomised_Social_Choice/Random_Dictatorship.thy (diff)
Changeset 6753:dfb0c49d5f1e by rene thiemann _rene.thiemann@uibk.ac.at_:
fixed severe bug in factorization oracle
The file was modified thys/Polynomial_Factorization/Berlekamp_Hensel_Factorization.thy (diff)