Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. tuned;
  3. updated to Rat in Isabelle/0bec0d1d9998;
  4. updated to Isabelle/c583ca33076a;
  5. tuned whitespace;
  6. cleanup of unused code
Changeset 6726:54c65361e6ed by wenzelm:
merged
Changeset 6725:be588302f1b1 by wenzelm:
tuned;
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)
Changeset 6724:3ffbc7baa8d7 by wenzelm:
updated to Rat in Isabelle/0bec0d1d9998;
The file was modified thys/Randomised_Social_Choice/Automation/QSOpt_Exact.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)
Changeset 6723:79de49912dd5 by wenzelm:
updated to Isabelle/c583ca33076a;
The file was modified thys/Randomised_Social_Choice/Automation/preference_profiles.ML (diff)
Changeset 6722:0a997855af40 by wenzelm:
tuned whitespace;
The file was modified thys/Lehmer/ROOT (diff)
Changeset 6721:c3d7f62b6a09 by rene thiemann _rene.thiemann@uibk.ac.at_:
cleanup of unused code
The file was modified thys/Polynomial_Factorization/Berlekamp_Hensel_Factorization.thy (diff)
The file was modified thys/Polynomial_Factorization/Polynomial_Field.thy (diff)