Filtering...

event-name-queries

books/std/system/event-name-queries

Included Books

constant-namep constant-symbolp fresh-namep function-name-listp function-namep function-symbol-listp function-symbolp logic-function-namep logical-name-listp macro-name-listp macro-namep macro-symbol-listp macro-symbolp theorem-name-listp theorem-namep theorem-symbol-listp theorem-symbolp
other
(in-package "ACL2")
include-book
(include-book "constant-namep")
include-book
(include-book "constant-symbolp")
include-book
(include-book "fresh-namep")
include-book
(include-book "function-name-listp")
include-book
(include-book "function-namep")
include-book
(include-book "function-symbol-listp")
include-book
(include-book "function-symbolp")
include-book
(include-book "logic-function-namep")
include-book
(include-book "logical-name-listp")
include-book
(include-book "macro-name-listp")
include-book
(include-book "macro-namep")
include-book
(include-book "macro-symbol-listp")
include-book
(include-book "macro-symbolp")
include-book
(include-book "theorem-name-listp")
include-book
(include-book "theorem-namep")
include-book
(include-book "theorem-symbol-listp")
include-book
(include-book "theorem-symbolp")
other
(defxdoc std/system/event-name-queries
  :parents (std/system)
  :short "Utilities to query names of events in the @(see world).")