Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. added Show_Polynomials
  2. made type for monomials
Changeset 8244:da1815b15e91 by rene thiemann _rene.thiemann@uibk.ac.at_:
added Show_Polynomials
The file was addedthys/Polynomials/Show_Polynomials.thy
The file was modified thys/Polynomials/ROOT (diff)
Changeset 8243:3094b3f8d2a9 by rene thiemann _rene.thiemann@uibk.ac.at_:
made type for monomials
The file was modified thys/Polynomials/NZM.thy (diff)
The file was modified thys/Polynomials/Polynomials.thy (diff)