src/Doc/Tutorial/Protocol/Message.thy
changeset 82775 61c39a9e5415
parent 82630 2bb4a8d0111d