twee-0.1: tests/martin-nipkow.p

cnf(a, axiom, '*'('*'(X,Y),Z) = '*'(Z,'*'(X,Y))).