Nominal-General/nominal_permeq.ML
changeset 2266 dcffc2f132c9
parent 2168 ce0255ffaeb4
child 2301 8732ff59068b
equal deleted inserted replaced
2265:9c44db3eef95 2266:dcffc2f132c9