src/HOL/Nominal/nominal_permeq.ML
2005-10-17 berghofe 2005-10-17 Initial revision.