doc-src/TutorialI/Protocol/Message.thy
changeset 43132 44cd26bfc30c
parent 42793 88bee9f6eec7
child 43564 9864182c6bad