Included Books
other
(in-package "ACL2")
include-book
(include-book "xdoc/top" :dir :system)
other
(add-resource-directory "acl2s" "doc-assets")
include-book
(include-book "kestrel/utilities/xdoc-archiving" :dir :system)
local
(local (include-book "doc"))
other
(archive-topics-for-books-tree "acl2s")