Nominal-General/Nominal2_Atoms.thy
changeset 2014 17684f7eaeb9
parent 1972 40db835442a0
child 2129 f38adea0591c
equal deleted inserted replaced
2013:3078fab2d7a6 2014:17684f7eaeb9