Index of /debian/acl2/acl2-8.3dfsg/books/hints/

../
Readme.lsp                                         16-Apr-2020 14:22                 640
basic-tests.acl2                                   16-Apr-2020 14:22                 476
basic-tests.lisp                                   16-Apr-2020 14:22               45125
consider-hint-tests.acl2                           16-Apr-2020 14:22                 204
consider-hint-tests.lisp                           16-Apr-2020 14:22               12613
consider-hint.lisp                                 16-Apr-2020 14:22               30773
hint-wrapper.lisp                                  16-Apr-2020 14:22                6805
huet-lang-algorithm-tests.lisp                     16-Apr-2020 14:22                6073
huet-lang-algorithm.lisp                           16-Apr-2020 14:22              108279
merge-hint.lisp                                    16-Apr-2020 14:22               21236
subgoalp.lisp                                      16-Apr-2020 14:22                6998
use-pkg.lisp                                       16-Apr-2020 14:22                7423