Quot/Nominal/atom_decl.ML
changeset 1015 683483199a5d
parent 947 fa810f01f7b5