doc-src/TutorialI/Protocol/Message.thy
changeset 34203 dd2f49d88b47
parent 32960 69916a850301
child 35109 0015a0a99ae9