Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Generalized type constraints; algebraic numbers on field_char_0 are closed under arithmetic operations.
Changeset 7804:97f1090577d4 by akihisayamada _akihisa.yamada@uibk.ac.at_:
Generalized type constraints; algebraic numbers on field_char_0 are<br>closed under arithmetic operations.
The file was modified thys/Algebraic_Numbers/Algebraic_Numbers.thy (diff)
The file was modified thys/Algebraic_Numbers/Algebraic_Numbers_Prelim.thy (diff)
The file was modified thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy (diff)
The file was modified thys/Polynomial_Factorization/Polynomial_Divisibility.thy (diff)