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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                17-Dec-2007 10:00  606   
 a-load-file.lsp         17-Dec-2007 10:00  548   
 arity.lisp              17-Dec-2007 10:00  5.4K  
 de4.lisp                17-Dec-2007 10:11  8.9K  
 examples.lisp           17-Dec-2007 10:00  6.1K  
 help-defuns.lisp        17-Dec-2007 10:00  3.7K  
 measure.lisp            17-Dec-2007 10:00  1.9K  
 primitives.lisp         17-Dec-2007 10:00  3.2K  
 sts-okp.lisp            17-Dec-2007 10:00  5.3K  
 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