add On lisp draft
minor update in paip.org
small corrections in computer-aided-reasoning-an-approach