Index of /users/moore/acl2/current/distrib/acl2-sources/books/workshops/1999/de-hdl

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] Makefile 17-Dec-2007 10:00 606 [TXT] a-load-file.lsp 17-Dec-2007 10:00 548 [   ] arity.lisp 17-Dec-2007 10:00 5.4K [TXT] de4.lisp 17-Dec-2007 10:11 8.9K [   ] examples.lisp 17-Dec-2007 10:00 6.1K [TXT] help-defuns.lisp 17-Dec-2007 10:00 3.7K [TXT] measure.lisp 17-Dec-2007 10:00 1.9K [TXT] primitives.lisp 17-Dec-2007 10:00 3.2K [TXT] sts-okp.lisp 17-Dec-2007 10:00 5.3K [TXT] syntax.lisp 17-Dec-2007 10:00 11K [   ] thm-example.lisp 17-Dec-2007 10:00 4.9K
This is the README for Warren Hunt's chapter in the book "Computer-Aided
Reeasoning: ACL2 Case Studies,"  Directory contents are as follows.

Makefile
README
a-load-file.lsp
arity.lisp
de4.lisp
examples.lisp
help-defuns.lisp
measure.lisp
primitives.lisp
sts-okp.lisp
syntax.lisp
thm-example.lisp