Index of /users/moore/acl2/v3-4/distrib/acl2-sources/books/proofstyles/completeness

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                22-Feb-2008 07:52  1.5K  
 assertions-partial.lisp 22-Feb-2008 07:52   23K  
 assertions-total.lisp   22-Feb-2008 07:52   33K  
 certify.lsp             22-Feb-2008 07:52  416   
 clock-partial.lisp      22-Feb-2008 07:52  3.2K  
 clock-total.lisp        22-Feb-2008 07:52  3.4K  
 generic-partial.lisp    22-Feb-2008 07:52  739   
 generic-total.lisp      22-Feb-2008 07:52  930   
 stepwise-invariants-..> 22-Feb-2008 07:52  4.9K  
 stepwise-invariants-..> 22-Feb-2008 07:52  8.8K