((:FILES ; non-empty list of filenames, generated from Unix command "ls -1R"
"
.:
Makefile
Readme.lsp
fibonacci.lisp
hint-tests.lisp
matrix-multiplication-parallel.lisp
matrix-multiplication-serial.lisp
matrix-multiplication-setup.lisp
proofs/ideal-speedup.lisp
spec-mv-let.lisp
syntax-tests.lisp
stress-tests.lisp
without-waterfall-parallelism
with-waterfall-parallelism")
 (:TITLE    "Simple examples and tests of parallelism primitives and proofs")
 (:AUTHOR/S "David Rager")
 (:KEYWORDS ; non-empty list of keywords, case-insensitive
   "parallelism" "parallel" "pand" "por" "plet" "pargs" "performance" "futures"
   "spec-mv-let" "acl2(p)" "acl2p" "waterfall")
 (:ABSTRACT "Generally speaking, these files illustrate and check the use of
parallelism primitives, including their use during the ACL2 proof process.
")
  (:PERMISSION ; author/s permission for distribution and copying:
"parallel
Copyright (C) 2008 University of Texas at Austin
for files not explicitly copyrighted otherwise

{hint-tests}.lisp copyright (C) 2011 by David L. Rager <ragerdl@cs.utexas.edu>.

This program is free software; you can redistribute it and/or modify
it under the terms of Version 2 of the GNU General Public License as
published by the Free Software Foundation.

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."))
