src/HOL/Modelcheck/EindhovenSyn.thy
changeset 32436 10cd49e0c067
parent 32010 cb1a1c94b4cd
child 32740 9dd0a2f83429