other
(in-package "ACL2")
include-book
(include-book "std/util/define" :dir :system)
include-book
(include-book "xdoc/top" :dir :system)
other
(define included-books ((wrld plist-worldp)) :returns (result "A @(tsee string-listp).") :verify-guards nil :parents (std/system) :short "List of full pathnames of all books currently included (directly or indirectly)." (book-name-lst-to-filename-lst (strip-cars (global-val 'include-book-alist wrld)) (project-dir-alist wrld) 'included-books))