Index of /users/moore/acl2/v3-4/distrib/acl2-sources/books/workshops/1999/ste

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] Makefile                17-Dec-2007 10:00  892   
[   ] assertion.lisp          17-Dec-2007 10:00  8.9K  
[   ] boolean.lisp            17-Dec-2007 10:00  4.6K  
[   ] certify.lsp             17-Dec-2007 10:00  364   
[   ] circuit.lisp            17-Dec-2007 10:00  640   
[   ] example.lisp            17-Dec-2007 10:00   20K  
[   ] expression.lisp         17-Dec-2007 10:00  651   
[   ] fundamental.lisp        17-Dec-2007 10:00  5.4K  
[   ] inference.lisp          17-Dec-2007 10:00   18K  
[   ] lemma-4.lisp            17-Dec-2007 10:00   10K  
[   ] run.lisp                17-Dec-2007 10:00  6.7K  
[   ] state.lisp              17-Dec-2007 10:00  6.3K  
[   ] trajectory.lisp         17-Dec-2007 10:00  340   
[   ] util.lisp               17-Dec-2007 10:00  3.7K  

On a Unix system in which this directory sits in an ACL2 distribution in a
subdirectory of books/case-studies/, you can type "make" to certify the books.
You can certify all books in any system as follows.

	acl2 < certify.lsp > certify.log