Summary
- merge
- tuning finite field multiplication
- removed outdated code-equation
The file was modified | thys/Berlekamp_Zassenhaus/Finite_Field_Record_Based.thy (diff) |
The file was modified | thys/Polynomial_Interpolation/Improved_Code_Equations.thy (diff) |