Nominal/nominal_atoms.ML
changeset 1581 6b1eea8dcdc0
parent 1460 0fd03936dedb
child 1689 8c0eef2b84e7
equal deleted inserted replaced
1576:7b8f570b2450 1581:6b1eea8dcdc0