src/HOL/Modelcheck/MuckeExample2.ML
changeset 16587 b34c8aa657a5
parent 7295 fe09a0c5cebe