Changes

Summary

removed unused files for invoking external factorization oracle, e.g., Mathematica

Changeset 8307:98232cbea6c2 by rene thiemann _rene.thiemann@uibk.ac.at_: removed unused files for invoking external factorization oracle, e.g., Mathematica
The file was removed	`thys/Berlekamp_Zassenhaus/Tests.thy`
The file was removed	`thys/Polynomial_Factorization/External_Factorization.thy`
The file was removed	`thys/Polynomial_Factorization/Hybrid_Factorization.thy`