doc-src/TutorialI/Protocol/Message.thy
changeset 48518 0c86acc069ad
parent 43564 9864182c6bad
child 48895 4cd4ef1ef4a4
equal deleted inserted replaced
48517:0f8c8ac6cc0e 48518:0c86acc069ad