Quot/Nominal/nominal_thmdecls.ML
changeset 1163 30fb2ca89773
parent 1066 96651cddeba9