Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Changeset 10444:a8e34b81e70f by wenzelm: tuned timeout;
The file was modified	`thys/HOL-CSP/ROOT`
The file was modified	`thys/Modal_Logics_for_NTS/ROOT`
The file was modified	`thys/Probabilistic_Prime_Tests/ROOT`