graph-rewriting-trs-0.1.4: examples/mul.trs

import peano.trs
import add.trs

M0x       → 0
M(Sy)x    → A(Myx)x