doc-src/TutorialI/CTL/CTLind.thy
changeset 43450 b6b09fc8d671
parent 23733 3f8ad7418e55