Nominal/LFex.thy
changeset 1368 c0cb30581f58
parent 1360 c54cb3f7ac70
child 1429 866208388c1d