Nominal-General/nominal_permeq.ML
changeset 1902 c68a154adca4
parent 1866 6d4e4bf9bce6
child 1947 51f411b1197d