doc-src/TutorialI/CTL/CTLind.thy
changeset 10309 a7f961fb62c6
parent 10281 9554ce1c2e54
child 10795 9e888d60d3e5