Nominal/nominal_permeq.ML
changeset 1331 0f329449e304
parent 1258 7d8949da7d99