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

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] Makefile                20-Sep-2004 20:23  892   
[   ] assertion.lisp          24-May-2004 03:48  8.9K  
[   ] boolean.lisp            31-Aug-1999 10:09  4.6K  
[   ] certify.lsp             06-Sep-1999 13:52  364   
[   ] circuit.lisp            31-Aug-1999 10:24  640   
[   ] example.lisp            31-Aug-1999 10:59   20K  
[   ] expression.lisp         31-Aug-1999 10:24  651   
[   ] fundamental.lisp        24-May-2004 03:34  5.4K  
[   ] inference.lisp          24-May-2004 03:50   18K  
[   ] lemma-4.lisp            24-May-2004 03:49   10K  
[   ] run.lisp                24-May-2004 03:50  6.7K  
[   ] state.lisp              31-Aug-1999 10:15  6.3K  
[   ] trajectory.lisp         31-Aug-1999 10:26  340   
[   ] util.lisp               10-Apr-2001 23:02  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