Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

adjust Schwartz_Zippel entry - Use Pi_pmf from HOL-Probability - Generalize theorem(s) in example

Changeset 13557:444e642b5026 by Yong Kiam Tan _yongkiat@cs.cmu.edu_: adjust Schwartz_Zippel entry<br><br>- Use Pi_pmf from HOL-Probability<br>- Generalize theorem(s) in example
The file was modified	`thys/Schwartz_Zippel/Rand_Perfect_Matching.thy`
The file was modified	`thys/Schwartz_Zippel/Schwartz_Zippel.thy`