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