Nominal-General/Nominal2_Atoms.thy
changeset 2344 e90f6a26d74b
parent 2129 f38adea0591c
equal deleted inserted replaced
2343:36aeb97fabb0 2344:e90f6a26d74b