doc-src/TutorialI/Protocol/Message.thy
changeset 43450 b6b09fc8d671
parent 42793 88bee9f6eec7
child 43564 9864182c6bad
equal deleted inserted replaced
43449:591598bc52bc 43450:b6b09fc8d671