Nominal/LFex.thy
changeset 1490 9923b2cee778
parent 1454 7c8cd6eae8e2
child 1496 fd483d8f486b