I was wondering as to how one does lisp development within Maxima ?? ? Has anyone ever integrated ACL2 within MAXIMA ?? David Blubaugh