changeset 37744 | 3daaf23b9ab4 |
parent 36945 | 9bec62c10714 |
child 40077 | c8a9eaaa2f59 |
37743:0a3fa8fbcdc5 | 37744:3daaf23b9ab4 |
---|---|
1 (* Title: HOL/Tools/Groebner_Basis/normalizer.ML |
1 (* Title: HOL/Tools/semiring_normalizer.ML |
2 Author: Amine Chaieb, TU Muenchen |
2 Author: Amine Chaieb, TU Muenchen |
3 |
3 |
4 Normalization of expressions in semirings. |
4 Normalization of expressions in semirings. |
5 *) |
5 *) |
6 |
6 |