src/HOL/ex/CTL.thy
changeset 30313 b2441b0c8d38
parent 26813 6a4d5ca6d2e5
child 32587 caa5ada96a00