Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. website for Multivariate_Polynomials
  2. new entry Multivariate_Polynomials
Changeset 6858:0c85d27d122d by paulson _lp15@cam.ac.uk_:
website for Multivariate_Polynomials
The file was addedweb/entries/Multivariate_Polynomials.shtml
The file was modified metadata/metadata (diff)
The file was modified web/index.shtml (diff)
The file was modified web/topics.shtml (diff)
The file was removedthys/Multivariate_Polynomials/metadata
Changeset 6857:6698beb029c3 by paulson _lp15@cam.ac.uk_:
new entry Multivariate_Polynomials
The file was addedthys/Multivariate_Polynomials/Abstract_Poly.thy
The file was addedthys/Multivariate_Polynomials/Poly_Lists.thy
The file was addedthys/Multivariate_Polynomials/Power_Products.thy
The file was addedthys/Multivariate_Polynomials/ROOT
The file was addedthys/Multivariate_Polynomials/document/root.bib
The file was addedthys/Multivariate_Polynomials/document/root.tex
The file was addedthys/Multivariate_Polynomials/metadata
The file was modified thys/ROOTS (diff)