Nominal-General/nominal_eqvt.ML
changeset 2438 abafea9b39bb
parent 2311 4da5c5c29009
child 2477 2f289c1f6cf1
equal deleted inserted replaced
2436:3885dc2669f9 2438:abafea9b39bb