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