Changes

Summary

Changeset 8579:aad3718e0f16 by haftmann: compactified algebraic closure
The file was modified	`thys/Markov_Models/Classifying_Markov_Chain_States.thy` (diff)
Changeset 8578:4907a8b8b284 by haftmann: more simplification rules
The file was modified	`thys/Berlekamp_Zassenhaus/Berlekamp_Type_Based.thy` (diff)
The file was modified	`thys/Berlekamp_Zassenhaus/Finite_Field.thy` (diff)
The file was modified	`thys/Berlekamp_Zassenhaus/Hensel_Lifting_Type_Based.thy` (diff)
The file was modified	`thys/Berlekamp_Zassenhaus/Poly_Mod.thy` (diff)
The file was modified	`thys/Berlekamp_Zassenhaus/Suitable_Prime.thy` (diff)
The file was modified	`thys/Bertrands_Postulate/Bertrand.thy` (diff)
The file was modified	`thys/E_Transcendental/E_Transcendental.thy` (diff)
The file was modified	`thys/Fermat3_4/Fermat3.thy` (diff)
The file was modified	`thys/Fermat3_4/Fermat4.thy` (diff)
The file was modified	`thys/Fermat3_4/Quad_Form.thy` (diff)
The file was modified	`thys/HOLCF-Prelude/examples/Sieve_Primes.thy` (diff)
The file was modified	`thys/List_Update/Move_to_Front.thy` (diff)
The file was modified	`thys/Markov_Models/Classifying_Markov_Chain_States.thy` (diff)
The file was modified	`thys/Polynomial_Factorization/Prime_Factorization.thy` (diff)
The file was modified	`thys/Polynomial_Interpolation/Missing_Unsorted.thy` (diff)
The file was modified	`thys/SumSquares/TwoSquares.thy` (diff)
The file was modified	`thys/Word_Lib/Word_Lib.thy` (diff)