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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                20-Sep-2004 20:24  606   
 a-load-file.lsp         02-May-2000 14:15  548   
 arity.lisp              17-Feb-2000 20:41  5.4K  
 de4.lisp                15-Sep-2003 11:56  8.6K  
 examples.lisp           02-May-2000 20:30  6.1K  
 help-defuns.lisp        15-Sep-2003 11:53  3.7K  
 measure.lisp            15-Sep-2003 11:55  1.9K  
 primitives.lisp         17-Feb-2000 22:56  3.2K  
 sts-okp.lisp            15-Sep-2003 11:55  5.3K  
 syntax.lisp             17-Feb-2000 20:41   11K  
 thm-example.lisp        02-May-2000 20:33  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