Summary
- generalized ML function
- Merged
- Tuned Euclidean Ring instance for polynomials
- Merged
- Merged
- Tuned Euclidean rings
The file was modified | src/HOL/Tools/BNF/bnf_def.ML (diff) |
The file was modified | src/HOL/Codegenerator_Test/Candidates.thy (diff) |
The file was modified | src/HOL/Number_Theory/Euclidean_Algorithm.thy (diff) |
The file was modified | src/HOL/Library/Formal_Power_Series.thy (diff) |
The file was modified | src/HOL/Library/Polynomial.thy (diff) |
The file was modified | src/HOL/Number_Theory/Euclidean_Algorithm.thy (diff) |