> > (eq (diff (bvar t) x) y) May be (eq (diff {bvar t} x) y) because binding is not application in c-MathML, unfortunately 8-(Received on Monday, 20 November 2006 10:32:43 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 15 February 2008 03:23:19 GMT