src/HOL/Modelcheck/EindhovenExample.thy
1999-04-22 mueller 1999-04-22 added modelchecker mucke besides modelchecker eindhoven;