Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)
Summary
- moved optimisation reflect-poly from before square-free-factorization to after sff
The file was modified | thys/Berlekamp_Zassenhaus/Factorize_Int_Poly.thy |
The file was modified | thys/Berlekamp_Zassenhaus/Factorize_Int_Poly.thy |