Nominal/Nominal2_Atoms.thy
changeset 1573 b39108f42638
parent 1499 21dda372fb11
child 1569 1694f32b480a
equal deleted inserted replaced
1568:2311a9fc4624 1573:b39108f42638