Nominal/Nominal2_Atoms.thy
changeset 1274 d867021d8ac1
parent 1258 7d8949da7d99
child 1363 f00761b5957e