src/HOLCF/IOA/NTP/Correctness.thy
changeset 25456 6f79698f294d
parent 25131 2c8caac48ade
child 26339 7825c83c9eff