Changes

Summary

Changeset 8808:80aaf2c7f7a0 by lars hupel _lars.hupel@mytum.de_: merged
Changeset 8807:c6f28d41b252 by lars hupel _lars.hupel@mytum.de_: tuned
The file was modified	`thys/Linear_Recurrences/Factorizations.thy` (diff)
Changeset 8806:8022e4bc7373 by lars hupel _lars.hupel@mytum.de_: tuned
The file was modified	`thys/Affine_Arithmetic/Executable_Euclidean_Space.thy` (diff)
The file was modified	`thys/Linear_Recurrences/Factorizations.thy` (diff)
The file was modified	`thys/Linear_Recurrences/Rational_FPS_Solver.thy` (diff)
The file was modified	`thys/Perron_Frobenius/Roots_Unity.thy` (diff)
The file was modified	`thys/Perron_Frobenius/Spectral_Radius_Theory_2.thy` (diff)
The file was modified	`thys/Subresultants/Subresultant.thy` (diff)
Changeset 8805:1dbd99e6ae83 by lars hupel _lars.hupel@mytum.de_: tuned
The file was modified	`thys/Amortized_Complexity/Amortized_Framework.thy` (diff)
The file was modified	`thys/Berlekamp_Zassenhaus/Factorize_Int_Poly.thy` (diff)
The file was modified	`thys/Lambda_Free_KBOs/Lambda_Free_TKBO_Coefs.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/Numerics/Refine_Rigorous_Numerics_Aform.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/Numerics/Refine_Vector_List.thy` (diff)