Nominal-General/nominal_thmdecls.ML
changeset 1851 d25e1576ca82
parent 1846 756982b4fe20
child 1870 55b2da92ff2f