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