Nominal/LFex.thy
changeset 1382 71bd178e4785
parent 1360 c54cb3f7ac70
child 1429 866208388c1d