Index of /users/moore/acl2/v3-4/distrib/acl2-sources/books/make-event

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 embedded-defaxioms/     10-Aug-2008 15:07    -   
 Makefile                22-Jul-2008 14:51  4.4K  
 Readme.lsp              22-Jul-2008 14:21  6.1K  
 assert-check-include..> 17-Dec-2007 09:57   85   
 assert-check-include..> 17-Dec-2007 09:57  299   
 assert-check-include..> 17-Dec-2007 09:57  214   
 assert-check.lisp       17-Dec-2007 09:57  2.2K  
 assert-include.acl2     17-Dec-2007 09:57   53   
 assert-include.lisp     17-Dec-2007 09:57  305   
 assert.lisp             30-Jul-2008 12:07  3.7K  
 basic-check.lisp        17-Dec-2007 09:57  1.5K  
 basic-pkg-check.acl2    17-Dec-2007 09:57  170   
 basic-pkg-check.lisp    17-Dec-2007 09:57  429   
 basic-pkg.acl2          17-Dec-2007 09:57  153   
 basic-pkg.lisp          17-Dec-2007 09:57  443   
 basic.lisp              17-Dec-2007 09:57  1.7K  
 defconst-fast-exampl..> 17-Dec-2007 09:57  805   
 defconst-fast.lisp      22-May-2008 11:58  743   
 defrefine.lisp          17-Dec-2007 09:57   15K  
 defspec.lisp            17-Dec-2007 09:57   17K  
 dotimes.lisp            17-Dec-2007 09:57  2.1K  
 embeddable-event-for..> 13-Jun-2008 12:37  617   
 embedded-defaxioms.acl2 17-Dec-2007 09:57   84   
 embedded-defaxioms.lisp 17-Dec-2007 09:57  3.8K  
 eval-check-tests.lisp   17-Dec-2007 09:57  3.6K  
 eval-check.lisp         17-Dec-2007 09:57  2.1K  
 eval-tests.lisp         17-Dec-2007 09:57  3.7K  
 eval.lisp               17-Dec-2007 09:57  2.3K  
 gen-defthm-check.lisp   17-Dec-2007 09:57  2.4K  
 gen-defthm.lisp         17-Dec-2007 09:57  3.0K  
 gen-defun-check.lisp    17-Dec-2007 09:57  2.6K  
 gen-defun.lisp          17-Dec-2007 09:57  3.0K  
 inline-book.lisp        30-Jul-2008 13:50  4.9K  
 local-elided-include..> 13-Jun-2008 12:40  5.2K  
 local-elided.lisp       13-Jun-2008 12:38  1.8K  
 local-requires-skip-..> 17-Dec-2007 09:57  1.0K  
 local-requires-skip-..> 17-Dec-2007 09:57  1.3K  
 logical-tangent.lisp    17-Dec-2007 09:57  1.7K  
 macros-include.lisp     13-Jun-2008 11:41  3.8K  
 macros-skip-proofs-i..> 17-Dec-2007 09:57   67   
 macros-skip-proofs-i..> 06-Aug-2008 14:47  1.8K  
 macros-skip-proofs.acl2 17-Dec-2007 09:57   59   
 macros-skip-proofs.lisp 17-Dec-2007 09:57  1.0K  
 macros.lisp             17-Dec-2007 09:57  2.1K  
 nested-check.lisp       17-Dec-2007 09:57  1.8K  
 nested.lisp             17-Dec-2007 09:57  1.2K  
 portcullis-expansion..> 17-Dec-2007 09:57  328   
 portcullis-expansion..> 17-Dec-2007 09:57  597   
 portcullis-expansion..> 17-Dec-2007 09:57  1.3K  
 portcullis-expansion..> 17-Dec-2007 09:57  3.3K  
 proof-by-arith.lisp     17-Dec-2007 09:57  5.0K  
 read-from-file-data-..> 17-Dec-2007 09:57   10   
 read-from-file-data.lsp 17-Dec-2007 09:57   10   
 read-from-file.lisp     17-Dec-2007 09:57  3.3K  
 stobj-test.lisp         17-Dec-2007 09:57  1.5K  
 test-case-check.lisp    17-Dec-2007 09:57  924   
 test-case.lisp          17-Dec-2007 09:57  1.0K