Filtering...

portcullis

books/centaur/vl2014/portcullis
other
(in-package "VL2014")
other
(include-book "tools/safe-case" :dir :system)
other
(include-book "xdoc/top" :dir :system)
other
(include-book "tools/rulesets" :dir :system)
casemacro
(defmacro case
  (&rest args)
  `(safe-case . ,VL2014::ARGS))
concatenatemacro
(defmacro concatenate
  (&rest args)
  `(fast-concatenate . ,VL2014::ARGS))
enablemacro
(defmacro enable
  (&rest args)
  `(enable* . ,VL2014::ARGS))
disablemacro
(defmacro disable
  (&rest args)
  `(disable* . ,VL2014::ARGS))
e/dmacro
(defmacro e/d
  (&rest args)
  `(e/d* . ,VL2014::ARGS))