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

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] Makefile                20-Jul-2009 18:13  862   
[   ] assertion.lisp          13-Oct-2008 14:04  8.9K  
[   ] boolean.lisp            13-Oct-2008 14:04  4.6K  
[   ] certify.lsp             13-Oct-2008 14:04  364   
[   ] circuit.lisp            13-Oct-2008 14:04  640   
[   ] example.lisp            13-Oct-2008 14:04   20K  
[   ] expression.lisp         13-Oct-2008 14:04  651   
[   ] fundamental.lisp        13-Oct-2008 14:04  5.4K  
[   ] inference.lisp          13-Oct-2008 14:04   18K  
[   ] lemma-4.lisp            13-Oct-2008 14:04   10K  
[   ] run.lisp                13-Oct-2008 14:04  6.7K  
[   ] state.lisp              13-Oct-2008 14:04  6.3K  
[   ] trajectory.lisp         13-Oct-2008 14:04  340   
[   ] util.lisp               13-Oct-2008 14:04  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