doc-src/TutorialI/Protocol/Message.thy
changeset 36455 30f96b4b108b
parent 35416 d8d7d1b785af
child 39282 7c69964c6d74
equal deleted inserted replaced
36454:f2b5bcc61a8c 36455:30f96b4b108b