Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge
  2. provide Mathematica-factorization oracle as Isabelle theory
Changeset 7173:6744bfb68161 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 7172:ea1e0cd735be by rene thiemann _rene.thiemann@uibk.ac.at_:
provide Mathematica-factorization oracle as Isabelle theory
The file was addedthys/Polynomial_Factorization/Select_Mathematica_Factorization.thy
The file was modified thys/Polynomial_Factorization/Factorization_Oracle.thy (diff)
The file was modified thys/Polynomial_Factorization/ROOT (diff)
The file was removedthys/Polynomial_Factorization/Mathematica.hs