Nominal/nominal_thmdecls.ML
changeset 2580 6b3e8602edcf
parent 2568 8193bbaa07fe
child 2650 e5fa8de0e4bd