doc-src/TutorialI/CTL/Base.thy
changeset 24572 7be5353ec4bd
parent 18724 cb6e0064c88c
child 27015 f8537d69f514