On 3/16/2013 8:57 AM, Andreas Eder wrote: ... > It works and the testsuite runs without failures. Shall I commit the > code? Andreas I looked again and see the spot where I thought the 3rd arg was t. not so. it was ... (cond ((m2 (cadr exp) *trigarg* nil) t) ... I think it is ok to commit the code. RJF