Quot/Nominal/nominal_atoms.ML
changeset 1230 a41c3a105104
parent 1079 c70e7545b738