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

../
Readme.lsp                                         16-Apr-2020 14:22                3355
all.acl2                                           16-Apr-2020 14:22                 179
all.lisp                                           16-Apr-2020 14:22                 624
bridge.acl2                                        16-Apr-2020 14:22                  70
bridge.lisp                                        16-Apr-2020 14:22                6084
copyright                                          16-Apr-2020 14:22                 897
defcode.acl2                                       16-Apr-2020 14:22                 107
defcode.lisp                                       16-Apr-2020 14:22                7636
defstruct-parsing.acl2                             16-Apr-2020 14:22                  81
defstruct-parsing.lisp                             16-Apr-2020 14:22                6978
doc-section.lisp                                   16-Apr-2020 14:22                 382
dynamic-make-event-test.acl2                       16-Apr-2020 14:22                 397
dynamic-make-event-test.lisp                       16-Apr-2020 14:22                1287
dynamic-make-event.acl2                            16-Apr-2020 14:22                 284
dynamic-make-event.lisp                            16-Apr-2020 14:22                1350
evalable-ld-printing.acl2                          16-Apr-2020 14:22                 142
evalable-ld-printing.lisp                          16-Apr-2020 14:22                2989
hacker-pkg.lsp                                     16-Apr-2020 14:22                2473
hacker.acl2                                        16-Apr-2020 14:22                  70
hacker.lisp                                        16-Apr-2020 14:22               34186
hacking-xdoc.lisp                                  16-Apr-2020 14:22               10363
progn-bang-enh.acl2                                16-Apr-2020 14:22                 112
progn-bang-enh.lisp                                16-Apr-2020 14:22                1874
raw.acl2                                           16-Apr-2020 14:22                  67
raw.lisp                                           16-Apr-2020 14:22                8256
redefun.acl2                                       16-Apr-2020 14:22                  71
redefun.lisp                                       16-Apr-2020 14:22                4516
rewrite-code-pkg.lsp                               16-Apr-2020 14:22                 708
rewrite-code.acl2                                  16-Apr-2020 14:22                  82
rewrite-code.lisp                                  16-Apr-2020 14:22               26615
subsumption.acl2                                   16-Apr-2020 14:22                  75
subsumption.lisp                                   16-Apr-2020 14:22                6183
table-guard.acl2                                   16-Apr-2020 14:22                 361
table-guard.lisp                                   16-Apr-2020 14:22                3139