Index of /~hunt/class/2008-fall/cs389r/de-hdl-2

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                03-Nov-2008 13:42  618   
 a-load-file.lsp         02-May-2000 14:15  548   
 aa-file.lisp            10-Feb-2005 15:11  316   
 arity.cert              03-Nov-2008 13:43  779   
 arity.lisp              06-Nov-2008 08:26  5.3K  
 asym-load-file.lsp      04-Nov-2008 08:38  538   
 b-if.lisp               28-Sep-2004 13:09  1.5K  
 de4.cert                03-Nov-2008 13:44  1.0K  
 de4.lisp                03-Nov-2008 13:44  8.4K  
 de5.cert                03-Nov-2008 14:08  1.5K  
 de5.lisp                06-Nov-2008 08:27  8.9K  
 examples.lisp           28-Sep-2004 10:33  9.0K  
 help-defuns.cert        03-Nov-2008 13:42  244   
 help-defuns.lisp        15-Sep-2003 11:53  3.7K  
 lemmas.lisp             28-Sep-2004 10:35   13K  
 measure.cert            03-Nov-2008 13:42  379   
 measure.lisp            27-Sep-2004 09:17  2.2K  
 primitives.cert         03-Nov-2008 13:43  521   
 primitives.lisp         17-Feb-2000 22:56  3.2K  
 sts-okp.cert            03-Nov-2008 13:43  911   
 sts-okp.lisp            06-Nov-2008 08:27  3.7K  
 sym-examples.lisp       06-Nov-2008 18:25   19K  
 syntax.cert             03-Nov-2008 13:43  651   
 syntax.lisp             06-Nov-2008 08:21   11K  
 thm-example.lisp        27-Sep-2004 10:27  4.7K  

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