Nominal-General/nominal_permeq.ML
changeset 2342 f296ef291ca9
parent 2301 8732ff59068b
child 2477 2f289c1f6cf1
equal deleted inserted replaced
2341:f659ce282610 2342:f296ef291ca9