doc-src/TutorialI/CTL/Base.thy
changeset 39022 ac7774a35bcf
parent 27015 f8537d69f514