Nominal/Ex/Beta.thy
changeset 3232 7bc38b93a1fc
parent 3077 df1055004f52
child 3235 5ebd327ffb96