Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

refactored algebraic number theories, generalized Cauchy Root Bounds lemma (so that real and complex numbers work)

Changeset 12918:56991031ffef by rene thiemann _rene.thiemann@uibk.ac.at_: refactored algebraic number theories, generalized Cauchy Root Bounds lemma (so that real and complex numbers work)
The file was added	`thys/Algebraic_Numbers/Algebraic_Numbers_Pre_Impl.thy`
The file was added	`thys/Algebraic_Numbers/Cauchy_Root_Bound.thy`
The file was modified	`thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy`
The file was modified	`thys/Algebraic_Numbers/Real_Roots.thy`