Nominal-General/Atoms.thy
changeset 2555 8cf5c3e58889
parent 2470 bdb1eab47161
child 2556 8ed62410236e