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