Nominal/nominal_atoms.ML
changeset 1493 52f68b524fd2
parent 1460 0fd03936dedb
child 1689 8c0eef2b84e7
equal deleted inserted replaced
1492:4908db645f98 1493:52f68b524fd2