Nominal/nominal_thmdecls.ML
changeset 1437 45fb38a2e3f7
parent 1258 7d8949da7d99