other
(in-package "NREV")
other
(include-book "pure")
other
(include-book "tools/include-raw" :dir :system)
other
(defttag :nrev)
other
(include-raw "fast-raw.lsp")
(in-package "NREV")
(include-book "pure")
(include-book "tools/include-raw" :dir :system)
(defttag :nrev)
(include-raw "fast-raw.lsp")