This ACL2 hacking code is part of ACL2s: "The ACL2 Sedan"
By Peter C. Dillinger, Panagiotis Manolios, and Daron Vroon

Copyright 2008 (c)
Georgia Tech Research Corporation and Northeastern University

The code in this directory 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; if not, write to the Free Software Foundation, Inc.,
51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.

