Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge
  2. disable gcd_int_poly code-unfold for algebraic numbers
  3. minor change in definition
Changeset 7864:6b135748252b by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 7863:7c9c29a4dd31 by rene thiemann _rene.thiemann@uibk.ac.at_:
disable gcd_int_poly code-unfold for algebraic numbers
The file was modified thys/Algebraic_Numbers/Algebraic_Numbers_Prelim.thy (diff)
Changeset 7862:374439f7d4a6 by rene thiemann _rene.thiemann@uibk.ac.at_:
minor change in definition
The file was modified thys/Algebraic_Numbers/Show_Real_Alg.thy (diff)