Filtering...

plev-ccl

books/tools/plev-ccl

Included Books

plev include-raw top
other
(in-package "ACL2")
include-book
(include-book "plev")
include-book
(include-book "include-raw")
include-book
(include-book "xdoc/top" :dir :system)
plev-infofunction
(defun plev-info
  nil
  (declare (xargs :guard t))
  (er hard? 'plev-info "raw lisp definition not installed?"))
other
(defttag plev-ccl)
other
(include-raw "plev-ccl-raw.lsp")