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