Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

streamlined division on polynomials

Changeset 76207:8fcbce9f317c by haftmann: streamlined division on polynomials
The file was modified	`src/HOL/Computational_Algebra/Polynomial.thy`

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

adjusted to distribution

Changeset 13045:5e7974c944c6 by haftmann: adjusted to distribution
The file was modified	`thys/Berlekamp_Zassenhaus/Square_Free_Factorization_Int.thy`
The file was modified	`thys/LLL_Factorization/Missing_Dvd_Int_Poly.thy`