diff -r 9fb315392493 -r 8732ff59068b Nominal-General/nominal_permeq.ML