Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Subresultants: adapted to changes since Isabelle2016-1
Changeset 7783:3fd498246142 by lars hupel _lars.hupel@mytum.de_:
Subresultants: adapted to changes since Isabelle2016-1
The file was modified thys/Subresultants/Missing_Polynomial_Factorial.thy (diff)
The file was modified thys/Subresultants/Subresultant.thy (diff)
The file was modified thys/Subresultants/Subresultant_Gcd.thy (diff)