File emacs-acl2.el makes it easy to use proof-trees (see :DOC proof-tree) and
contains other potentially useful functionality for ACL2 users.  There is sojme
documentation in the file.

This directory also contains other emacs and file utilities, not particularly
well documented at this time.
