Index of /users/moore/acl2/current/distrib/acl2-sources/books/workshops/1999/de-hdl
Name Last modified Size Description
Parent Directory -
Makefile 20-Jul-2009 18:13 576
a-load-file.lsp 13-Oct-2008 14:04 548
arity.lisp 13-Oct-2008 14:04 5.4K
de4.lisp 13-Oct-2008 14:04 8.9K
examples.lisp 13-Oct-2008 14:04 6.1K
help-defuns.lisp 13-Oct-2008 14:04 3.7K
measure.lisp 13-Oct-2008 14:04 1.9K
primitives.lisp 13-Oct-2008 14:04 3.2K
sts-okp.lisp 13-Oct-2008 14:04 5.3K
syntax.lisp 13-Oct-2008 14:04 11K
thm-example.lisp 13-Oct-2008 14:04 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