Quot/Nominal/atom_decl.ML
changeset 1016 de8da5b32265
parent 947 fa810f01f7b5
equal deleted inserted replaced
1015:683483199a5d 1016:de8da5b32265