/usr/share/acl2-8.0dfsg/books/hacking/all.lisp is in acl2-books-source 8.0dfsg-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 | (in-package "ACL2")
; Modification by Matt K. after v4-3: Removed :load-compiled-file :comp, which
; was part of all include-book forms just below, in support of provisional
; certification. Presumably the indicate books have already been compiled by
; now, anyhow.
(include-book "hacker")
(include-book "defstruct-parsing")
(include-book "rewrite-code")
(include-book "defcode"
:ttags ((defcode)))
(include-book "raw")
(include-book "redefun")
(include-book "bridge")
(include-book "subsumption")
(include-book "table-guard"
:ttags ((defcode) (table-guard)))
(include-book "hacking-xdoc")
|