Attic/programs/Send.thy
changeset 490 e7e69a217f83
parent 198 2ce98ee39990
equal deleted inserted replaced
489:5ecc1211752d 490:e7e69a217f83