Nominal/nominal_thmdecls.ML
changeset 1688 0b2535a72fd0
parent 1258 7d8949da7d99