Quot/Nominal/Nominal2_Atoms.thy
changeset 1055 34220518cccf
parent 947 fa810f01f7b5
child 1061 8de99358f309
equal deleted inserted replaced
1054:68bdd5523608 1055:34220518cccf