doc-src/TutorialI/CTL/CTLind.thy
changeset 17547 b0d70cf4ed18
parent 15904 a6fb4ddc05c7
child 17914 99ead7a7eb42