Nominal/LFex.thy
changeset 1377 34317cb033f2
parent 1360 c54cb3f7ac70
child 1429 866208388c1d
equal deleted inserted replaced
1376:56efa1e854bf 1377:34317cb033f2