src/Doc/Tutorial/Protocol/Message.thy
changeset 52190 c87b7f26e2c7
parent 51717 9e7d1c139569
child 55142 378ae9e46175