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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                13-Oct-2008 14:02   51   
 Readme.lsp              13-Oct-2008 14:02  1.3K  
 basic-tests.acl2        13-Oct-2008 14:02  132   
 basic-tests.lisp        13-Oct-2008 14:02   11K  
 consider-hint-tests...> 13-Oct-2008 14:02   59   
 consider-hint-tests...> 13-Oct-2008 14:02   12K  
 consider-hint.lisp      13-Oct-2008 14:02   30K  
 huet-lang-algorithm-..> 13-Oct-2008 14:02  5.8K  
 huet-lang-algorithm...> 13-Oct-2008 14:02  106K  
 merge-hint.lisp         13-Oct-2008 14:02   21K