src/Doc/Tutorial/Protocol/Message.thy
changeset 83006 987cd5e21f72
parent 82630 2bb4a8d0111d