Nominal/Ex/LetInv.thy
changeset 2963 8b22497c25b9
parent 2956 7e1c309bf820
child 3235 5ebd327ffb96