Summary
- added Show_Polynomials
- made type for monomials
The file was added | thys/Polynomials/Show_Polynomials.thy |
The file was modified | thys/Polynomials/ROOT (diff) |
The file was modified | thys/Polynomials/NZM.thy (diff) |
The file was modified | thys/Polynomials/Polynomials.thy (diff) |