src/HOL/Modelcheck/MuCalculus.thy
changeset 27123 11fcdd5897dd
parent 24327 a207114007c6
child 35416 d8d7d1b785af
equal deleted inserted replaced
27122:63d92a5e3784 27123:11fcdd5897dd