Nominal/nominal_atoms.ML
changeset 2705 67451725fb41
parent 2568 8193bbaa07fe
child 2891 304dfe6cc83a
equal deleted inserted replaced
2696:af4fb03ecf32 2705:67451725fb41