doc-src/TutorialI/CTL/CTLind.thy
changeset 23512 770e7f9f715b
parent 17914 99ead7a7eb42
child 23733 3f8ad7418e55