Filtering...

known-packages

books/std/system/known-packages

Included Books

define constructors
other
(in-package "ACL2")
include-book
(include-book "std/util/define" :dir :system)
include-book
(include-book "xdoc/constructors" :dir :system)
other
(define known-packages
  (state)
  :returns (pkg-names "A @(tsee string-listp).")
  :parents (std/system)
  :short "List of names of the known packages, in chronological order."
  :long (topstring-p "See @(tsee known-packages+) for an enhanced variant of this utility.")
  (reverse (strip-cars (known-package-alist state))))