src/HOL/Nominal/nominal_permeq.ML
changeset 66695 91500c024c7f
parent 62913 13252110a6fe
child 67710 cc2db3239932