Included Books
other
(in-package "ACL2")
include-book
(include-book "known-packages-plus")
include-book
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (string-listp (known-packages+ state)))
other
(assert! (no-duplicatesp-equal (known-packages+ state)))
other
(assert! (member-equal "ACL2" (known-packages+ state)))