src/Doc/Tutorial/Protocol/Message.thy
changeset 83070 944e85cb649f
parent 82630 2bb4a8d0111d
equal deleted inserted replaced
83069:a0f3d1cac0b4 83070:944e85cb649f