Summary
- removed devel-entry Multivariate_Polynomials and moved contents to entry Polynomials
The file was added | thys/Polynomials/Abstract_Poly.thy |
The file was added | thys/Polynomials/Poly_Lists.thy |
The file was added | thys/Polynomials/Power_Products.thy |
The file was modified | metadata/metadata (diff) |
The file was modified | thys/Groebner_Bases/Computations.thy (diff) |
The file was modified | thys/Groebner_Bases/Groebner_Bases.thy (diff) |
The file was modified | thys/Groebner_Bases/ROOT (diff) |
The file was modified | thys/Polynomials/ROOT (diff) |
The file was modified | thys/Polynomials/document/root.tex (diff) |
The file was modified | thys/ROOTS (diff) |
The file was modified | web/entries/Collections.shtml (diff) |
The file was modified | web/entries/Groebner_Bases.shtml (diff) |
The file was modified | web/entries/Network_Security_Policy_Verification.shtml (diff) |
The file was modified | web/entries/Polynomials.shtml (diff) |
The file was modified | web/index.shtml (diff) |
The file was modified | web/topics.shtml (diff) |
The file was removed | thys/Multivariate_Polynomials/Abstract_Poly.thy |
The file was removed | thys/Multivariate_Polynomials/Poly_Lists.thy |
The file was removed | thys/Multivariate_Polynomials/Power_Products.thy |
The file was removed | thys/Multivariate_Polynomials/ROOT |
The file was removed | thys/Multivariate_Polynomials/document/root.bib |
The file was removed | thys/Multivariate_Polynomials/document/root.tex |
The file was removed | web/entries/Multivariate_Polynomials.shtml |