doc-src/TutorialI/Protocol/Message.thy
changeset 38403 eccccdeb3f73
parent 35416 d8d7d1b785af
child 39282 7c69964c6d74
equal deleted inserted replaced
38402:58fc3a3af71f 38403:eccccdeb3f73