Skip to content
Success

Changes

Summary

  1. compactified algebraic closure
  2. more simplification rules
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)