Nominal/nominal_thmdecls.ML
changeset 1300 22a084c9316b
parent 1258 7d8949da7d99