src/Doc/Tutorial/Protocol/Message.thy
changeset 53638 203794e8977d
parent 51717 9e7d1c139569
child 55142 378ae9e46175
equal deleted inserted replaced
53636:9b5735de1f1a 53638:203794e8977d