Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. docu, layout
  2. real_roots_of_int_poly delivers disjoint list
Changeset 7830:98649feff8df by rene thiemann _rene.thiemann@uibk.ac.at_:
docu, layout
The file was modified thys/Algebraic_Numbers/Algebraic_Number_Tests.thy (diff)
The file was modified thys/Algebraic_Numbers/Show_Real_Precise.thy (diff)
Changeset 7829:cae6a47bc821 by rene thiemann _rene.thiemann@uibk.ac.at_:
real_roots_of_int_poly delivers disjoint list
The file was modified thys/Algebraic_Numbers/Complex_Algebraic_Numbers.thy (diff)
The file was modified thys/Algebraic_Numbers/Real_Roots.thy (diff)