Summary
- base Groebner_Bases on split-off entry Multivariate_Polynomials
- merged
- tuned build scripts
The file was added | thys/Groebner_Bases/Computations.thy |
The file was modified | thys/Groebner_Bases/Groebner_Bases.thy (diff) |
The file was modified | thys/Groebner_Bases/ROOT (diff) |
The file was removed | thys/Groebner_Bases/Abstract_Poly.thy |
The file was removed | thys/Groebner_Bases/Poly_Lists.thy |
The file was removed | thys/Groebner_Bases/Power_Products.thy |
The file was modified | admin/jenkins/ci_build_afp.scala (diff) |
The file was modified | admin/jenkins/ci_build_slow.scala (diff) |