Changes

Summary

Changeset 8927:a0d6b0840b3d by wenda li _liwenda1990@hotmail.com_: updated to changeset 4ddc49205f5d
The file was modified	`thys/Bernoulli/Bernoulli_Zeta.thy` (diff)
The file was modified	`thys/Count_Complex_Roots/Count_Complex_Roots.thy` (diff)
The file was modified	`thys/Winding_Number_Eval/Missing_Algebraic.thy` (diff)
The file was modified	`thys/Zeta_Function/Zeta_Function.thy` (diff)