Nominal/Nominal2_Atoms.thy
changeset 1370 0e32379e452f
parent 1363 f00761b5957e
child 1499 21dda372fb11