src/HOL/IOA/NTP/Sender.ML
changeset 2056 93c093620c28
parent 1328 9a449a91425d
equal deleted inserted replaced
2055:cc274e47f607 2056:93c093620c28