src/HOL/Modelcheck/EindhovenExample.thy
changeset 19404 9bf2cdc9e8e8
parent 17272 c63e5220ed77
child 35416 d8d7d1b785af