Quot/Nominal/nominal_atoms.ML
changeset 1091 d3946f1a9341
parent 1079 c70e7545b738