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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                17-Dec-2007 09:57  834   
 Readme.lsp              17-Dec-2007 09:57  1.3K  
 basic-tests.acl2        17-Dec-2007 09:57  132   
 basic-tests.lisp        17-Dec-2007 09:57   11K  
 consider-hint-tests...> 17-Dec-2007 09:57   59   
 consider-hint-tests...> 17-Dec-2007 09:57   12K  
 consider-hint.lisp      17-Dec-2007 09:57   30K  
 huet-lang-algorithm-..> 17-Dec-2007 09:57  5.8K  
 huet-lang-algorithm...> 17-Dec-2007 09:57  106K  
 merge-hint.lisp         14-Feb-2008 16:26   21K