Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. generalized ML function
  2. Merged
  3. Tuned Euclidean Ring instance for polynomials
  4. Merged
  5. Merged
  6. Tuned Euclidean rings
Changeset 62427:6dce7bf7960b by blanchet:
generalized ML function
The file was modified src/HOL/Tools/BNF/bnf_def.ML (diff)
Changeset 62426:bd650e3a210f by eberlm:
Merged
Changeset 62425:d0936b500bf5 by eberlm:
Tuned Euclidean Ring instance for polynomials
The file was modified src/HOL/Codegenerator_Test/Candidates.thy (diff)
The file was modified src/HOL/Number_Theory/Euclidean_Algorithm.thy (diff)
Changeset 62424:8c47e7fcdb8d by eberlm:
Merged
Changeset 62423:2497c966ba2b by eberlm:
Merged
Changeset 62422:4aa35fd6c152 by eberlm:
Tuned Euclidean rings
The file was modified src/HOL/Library/Formal_Power_Series.thy (diff)
The file was modified src/HOL/Library/Polynomial.thy (diff)
The file was modified src/HOL/Number_Theory/Euclidean_Algorithm.thy (diff)