Nominal/Ex/Let.thy
changeset 2718 8c1cda7ec284
parent 2670 3c493c951388
child 2720 3dd6d524dfdd