Nominal/nominal_thmdecls.ML
changeset 1502 cc0dcf248da3
parent 1258 7d8949da7d99