This is an old version of the Boxer programing environment (written in
Zetalisp!).  It is for historical interest only -- don't expect to run
it.  For newer information on Boxer, contact Andy diSessa at Berkeley:

           disessa%ucbcogsci@Berkeley.edu

