Nominal/Ex/SubstNoFcb.thy
changeset 3157 de89c95c5377
parent 3143 1da802bd2ab1
child 3235 5ebd327ffb96