Changes

Summary

Changeset 7763:74350d3e6c66 by haftmann: adjusted to changes in Isabelle distribution
The file was modified	`thys/Berlekamp_Zassenhaus/Polynomial_Record_Based.thy` (diff)
The file was modified	`thys/Berlekamp_Zassenhaus/Square_Free_Factorization_Int.thy` (diff)
The file was modified	`thys/Descartes_Sign_Rule/Descartes_Sign_Rule.thy` (diff)
The file was modified	`thys/Polynomial_Interpolation/Missing_Polynomial.thy` (diff)
Changeset 7762:95083068f2f2 by eberlm _eberlm@in.tum.de_: Merged
Changeset 7761:e787e4016959 by eberlm _eberlm@in.tum.de_: Merged
Changeset 7760:fd688f093c07 by eberlm _eberlm@in.tum.de_: Tuned Quick_Sort_Cost
The file was modified	`thys/Quick_Sort_Cost/Quick_Sort_Average_Case.thy` (diff)
The file was modified	`thys/Quick_Sort_Cost/ROOT` (diff)
The file was modified	`thys/Quick_Sort_Cost/document/root.bib` (diff)
The file was modified	`thys/Regular-Sets/Regular_Set.thy` (diff)
The file was removed	`thys/Quick_Sort_Cost/More_Shuffle_Product.thy`