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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                22-Jul-2008 14:24  1.5K  
 Readme.lsp              22-Jul-2008 14:24  3.0K  
 all.acl2                22-Jul-2008 14:24  122   
 all.lisp                22-Jul-2008 14:24  607   
 bridge.acl2             22-Jul-2008 14:24   64   
 bridge.lisp             22-Jul-2008 14:24  5.8K  
 copyright               22-Jul-2008 14:24  897   
 defcode.acl2            22-Jul-2008 14:24  135   
 defcode.lisp            22-Jul-2008 14:24  7.2K  
 defstruct-parsing.acl2  22-Jul-2008 14:24   73   
 defstruct-parsing.lisp  22-Jul-2008 14:24  6.8K  
 hacker-pkg.lsp          30-Jul-2008 15:31  2.4K  
 hacker.acl2             22-Jul-2008 14:24   62   
 hacker.lisp             30-Jul-2008 13:49   31K  
 progn-bang-enh.acl2     22-Jul-2008 14:24   68   
 progn-bang-enh.lisp     22-Jul-2008 14:24  1.8K  
 raw.acl2                22-Jul-2008 14:24  123   
 raw.lisp                22-Jul-2008 14:24  7.8K  
 redefun.acl2            22-Jul-2008 14:24   65   
 redefun.lisp            22-Jul-2008 14:24  4.2K  
 rewrite-code-pkg.lsp    22-Jul-2008 14:24  504   
 rewrite-code.acl2       22-Jul-2008 14:24   74   
 rewrite-code.lisp       22-Jul-2008 14:24   26K  
 subsumption.acl2        22-Jul-2008 14:24   69   
 subsumption.lisp        22-Jul-2008 14:24  5.9K  
 table-guard.acl2        22-Jul-2008 14:24  280   
 table-guard.lisp        22-Jul-2008 14:24  2.7K