idtrans produces xmlproof even if no subproof given
check for recursion depth in Encoding.Precedence.validPrecedenceM singled out
fixed jones4.trs
fixed glitch in Instances.polys
Instance.polys uses 3 cbits
t1 >>> t2 does not translate t2 into try t2
order in xml-output of processor proof swapped
usable rules in polynomials integrated
normalisation of proofs implemented
modify order of elements in xml output