Index of /users/moore/acl2/v3-3/distrib/acl2-sources/books/hints

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] Makefile                08-Jul-2007 18:21  834   
[TXT] Readme.lsp              06-Jul-2007 08:00  1.3K  
[   ] basic-tests.acl2        08-Jul-2007 18:22  132   
[TXT] basic-tests.lisp        20-Jul-2007 15:26   11K  
[   ] consider-hint-tests...> 05-Jul-2007 22:06   59   
[   ] consider-hint-tests...> 20-Jul-2007 15:25   12K  
[TXT] consider-hint.lisp      05-Jul-2007 21:58   30K  
[   ] huet-lang-algorithm-..> 08-Jul-2007 17:52  5.8K  
[TXT] huet-lang-algorithm...> 08-Jul-2007 17:53  106K  
[TXT] merge-hint.lisp         05-Jul-2007 21:57   21K