ACL2 Parser for Java
Copyright (C) 2013 Battelle Memorial Institute

Contact:
  David Rager, ragerdl@cs.utexas.edu

This program is free software; you can redistribute it and/or modify it under
the terms of the GNU General Public License as published by the Free Software
Foundation; either version 2 of the License, or (at your option) any later
version.

This program is distributed in the hope that it will be useful but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A
PARTICULAR PURPOSE.  See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with
this program; see the file "gpl.txt" in this directory.  If not, write to the
Free Software Foundation, Inc., 51 Franklin Street, Suite 500, Boston, MA
02110-1335, USA.


Additional Copyright Notices:

Note that this library also depends upon other libraries which are
copyrights of their respective owners and have their own licenses.
See included files for those licenses.


Due to the inability to add comment characters to the text files in
this directory, the license in this file is (redundantly) declared to
apply to all of the files in this directory.