Nominal/nominal_atoms.ML
changeset 2660 3342a2d13d95
parent 2568 8193bbaa07fe
child 2891 304dfe6cc83a
equal deleted inserted replaced
2659:619ecb57db38 2660:3342a2d13d95