src/HOL/Modelcheck/MuCalculus.thy
changeset 19404 9bf2cdc9e8e8
parent 17272 c63e5220ed77
child 24327 a207114007c6