Summary
- minor changes + docu
- tuned divmod-algorithm
The file was modified | thys/Polynomial_Factorization/Berlekamp_Hensel_Factorization.thy (diff) |
The file was modified | thys/Polynomial_Factorization/Polynomial_Field.thy (diff) |
The file was modified | thys/Polynomial_Factorization/Berlekamp_Hensel_Factorization.thy (diff) |
The file was modified | thys/Polynomial_Factorization/Polynomial_Field.thy (diff) |