Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. fixed document preparation
  3. locales instead of explicit assumptions
  4. tuned metadata
  5. restructuring by Alexander Maletzky: separated Dickson property from class powerprod
Changeset 7282:66c1719fe45d by immler:
merged
Changeset 7281:3c174af18fad by immler:
fixed document preparation
The file was modified thys/Polynomials/Power_Products.thy (diff)
Changeset 7280:3dd16750b96d by immler:
locales instead of explicit assumptions
The file was modified thys/Groebner_Bases/Computations.thy (diff)
The file was modified thys/Polynomials/Power_Products.thy (diff)
Changeset 7279:4184925db8e2 by immler:
tuned metadata
The file was modified metadata/metadata (diff)
Changeset 7278:c0ff8eca78bc by immler:
restructuring by Alexander Maletzky: separated Dickson property from class powerprod
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/Polynomials/Abstract_Poly.thy (diff)
The file was modified thys/Polynomials/Poly_Lists.thy (diff)
The file was modified thys/Polynomials/Power_Products.thy (diff)