Changes

Summary

Changeset 6379:89a0dac3fc64 by manuel eberl _eberlm@in.tum.de_: Changes to Euclidean ring instance for polynomials
The file was modified	`thys/Echelon_Form/Euclidean_Algorithm_Extension.thy` (diff)
The file was modified	`thys/Polynomial_Interpolation/Missing_Polynomial.thy` (diff)
The file was modified	`thys/Polynomial_Interpolation/Ring_Hom_Poly.thy` (diff)
The file was modified	`thys/Sturm_Sequences/Lib/Misc_Polynomial.thy` (diff)
The file was modified	`thys/Sturm_Sequences/Sturm_Theorem.thy` (diff)