Included Books
other
(in-package "ACL2")
include-book
(include-book "base")
other
(defttag :quicklisp.shellpool)
other
(include-raw "shellpool-raw.lsp" :host-readtable t)
(in-package "ACL2")
(include-book "base")
(defttag :quicklisp.shellpool)
(include-raw "shellpool-raw.lsp" :host-readtable t)