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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                13-Oct-2008 14:02   51   
 Readme.lsp              10-Mar-2009 21:46  3.0K  
 all.acl2                13-Oct-2008 14:02  122   
 all.lisp                13-Oct-2008 14:02  607   
 bridge.acl2             13-Oct-2008 14:02   64   
 bridge.lisp             13-Oct-2008 14:02  5.8K  
 copyright               13-Oct-2008 14:02  897   
 defcode.acl2            13-Oct-2008 14:02  135   
 defcode.lisp            13-Oct-2008 14:02  7.2K  
 defstruct-parsing.acl2  13-Oct-2008 14:02   73   
 defstruct-parsing.lisp  13-Oct-2008 14:02  6.8K  
 evalable-ld-printing..> 02-Mar-2009 15:02   73   
 evalable-ld-printing..> 09-Mar-2009 19:45  2.6K  
 hacker-pkg.lsp          13-Oct-2008 14:02  2.4K  
 hacker.acl2             13-Oct-2008 14:02   62   
 hacker.lisp             13-Oct-2008 14:02   31K  
 progn-bang-enh.acl2     13-Oct-2008 14:02   68   
 progn-bang-enh.lisp     13-Oct-2008 14:02  1.8K  
 raw.acl2                13-Oct-2008 14:02  123   
 raw.lisp                13-Oct-2008 14:02  7.8K  
 redefun.acl2            13-Oct-2008 14:02   65   
 redefun.lisp            26-Apr-2009 07:28  4.4K  
 rewrite-code-pkg.lsp    13-Oct-2008 14:02  504   
 rewrite-code.acl2       13-Oct-2008 14:02   74   
 rewrite-code.lisp       14-Apr-2009 13:28   26K  
 subsumption.acl2        13-Oct-2008 14:02   69   
 subsumption.lisp        13-Oct-2008 14:02  5.9K  
 table-guard.acl2        13-Oct-2008 14:02  280   
 table-guard.lisp        13-Oct-2008 14:02  2.7K