src/HOL/IOA/NTP/Packet.thy
changeset 2056 93c093620c28
parent 1570 fd1b9c721ac7
equal deleted inserted replaced
2055:cc274e47f607 2056:93c093620c28