doc-src/TutorialI/Protocol/Message.thy
changeset 26839 1d963bfd4a1b
parent 26807 4cd176ea28dc
child 27147 62ab1968c1f4