Nominal/Nominal2_Atoms.thy
changeset 1378 5c6c950812b1
parent 1363 f00761b5957e
child 1499 21dda372fb11