((:FILES ; non-empty list of filenames, generated from Unix command "ls -1R"
"
.:
Makefile
Readme.lsp
basic-tests.acl2
basic-tests.lisp
consider-hint-tests.acl2
consider-hint-tests.lisp
consider-hint.lisp
huet-lang-algorithm-tests.lisp
huet-lang-algorithm.lisp
merge-hint.lisp
")
 (:TITLE    "Hints")
 (:AUTHOR/S "J Moore")
 (:KEYWORDS ; non-empty list of keywords, case-insensitive
   "consider" "huet-lang" "merge" ":or" ":custom")
 (:ABSTRACT "
These books illustrate the use of various hints.")
  (:PERMISSION ; author/s permission for distribution and copying:
"hints
Copyright (C) 2007 University of Texas at Austin
for files not explicitly copyrighted otherwise

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