Changes

Summary

Changeset 8515:7d6ca4fecacd by haftmann: tuned some proofs
The file was modified	`thys/Affine_Arithmetic/Affine_Code.thy` (diff)
The file was modified	`thys/Algebraic_Numbers/Bivariate_Polynomials.thy` (diff)
The file was modified	`thys/Algebraic_Numbers/Resultant.thy` (diff)
The file was modified	`thys/Berlekamp_Zassenhaus/Berlekamp_Type_Based.thy` (diff)
The file was modified	`thys/Cartan_FP/Cartan.thy` (diff)
The file was modified	`thys/Density_Compiler/PDF_Transformations.thy` (diff)
The file was modified	`thys/Discrete_Summation/Discrete_Summation.thy` (diff)
The file was modified	`thys/Discrete_Summation/Factorials.thy` (diff)
The file was modified	`thys/Fisher_Yates/Fisher_Yates.thy` (diff)
The file was modified	`thys/Jordan_Normal_Form/Matrix.thy` (diff)
The file was modified	`thys/List-Infinite/CommonSet/SetInterval2.thy` (diff)
The file was modified	`thys/List_Update/Move_to_Front.thy` (diff)
The file was modified	`thys/Nested_Multisets_Ordinals/Syntactic_Ordinal.thy` (diff)
The file was modified	`thys/Subresultants/Subresultant.thy` (diff)
The file was modified	`thys/Tarskis_Geometry/Linear_Algebra2.thy` (diff)