bigfloat package + tocl



On Sat, Feb 26, 2011 at 09:26, Richard Fateman <fateman at eecs.berkeley.edu>wrote:

> ...You could also make lisp programs into symbolic programs by
> replacing (+ a b)  by  (list '(mplus) a b)   etc.


(add a b)