• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
  • Debugging
  • Std
    • Std/lists
    • Std/alists
    • Obags
    • Std/util
    • Std/strings
    • Std/io
    • Std/osets
    • Std/basic
    • Std/system
      • Fresh-logical-name-with-$s-suffix
      • Irrelevant-formals-info
      • Std/system/function-queries
      • Std/system/term-queries
      • Std/system/term-transformations
      • Std/system/enhanced-utilities
      • Install-not-normalized-event
      • Install-not-normalized-event-lst
      • Std/system/term-function-recognizers
      • Genvar$
      • Std/system/event-name-queries
        • Logic-function-namep
        • Function-namep
        • Theorem-symbolp
        • Macro-symbolp
        • Logical-name-listp
        • Constant-symbolp
        • Theorem-symbol-listp
        • Theorem-name-listp
        • Macro-symbol-listp
        • Macro-name-listp
        • Function-symbol-listp
        • Function-name-listp
        • Theorem-namep
        • Macro-namep
        • Constant-namep
        • Fresh-namep
        • Std/system/function-symbolp
      • Pseudo-tests-and-call-listp
      • Maybe-pseudo-event-formp
      • Add-suffix-to-fn-or-const
      • Chk-irrelevant-formals-ok
      • Table-alist+
      • Pseudo-tests-and-callp
      • Add-suffix-to-fn-or-const-lst
      • Known-packages+
      • Add-suffix-to-fn-lst
      • Unquote-term
      • Event-landmark-names
      • Add-suffix-lst
      • Std/system/theorem-queries
      • Unquote-term-list
      • Std/system/macro-queries
      • Pseudo-command-landmark-listp
      • Install-not-normalized$
      • Pseudo-event-landmark-listp
      • Known-packages
      • Std/system/partition-rest-and-keyword-args
      • Rune-enabledp
      • Rune-disabledp
      • Included-books
      • Std/system/pseudo-event-formp
      • Std/system/plist-worldp-with-formals
      • Std/system/w
      • Std/system/geprops
      • Std/system/arglistp
      • Std/system/constant-queries
    • Std/typed-lists
    • Std/bitsets
    • Std/testing
    • Std/typed-alists
    • Std/stobjs
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
  • Math
  • Testing-utilities

• Std/system

Std/system/event-name-queries

Utilities to query names of events in the world.

Subtopics

Logic-function-namep

Recognize symbols that name logic-mode functions.

Function-namep

Recognize symbols that name functions.

Theorem-symbolp

Check if a symbol names a theorem, i.e. it has a theorem property.

Macro-symbolp

Check if a symbol names a macro, i.e. it has a macro-args property.

Logical-name-listp

Recognize true lists of logical names.

Constant-symbolp

Check if a symbol names a constant, i.e. it has a const property.

Theorem-symbol-listp

Lift theorem-symbolp to lists.

Theorem-name-listp

Recognize true lists of symbols that name theorems.

Macro-symbol-listp

Lift macro-symbolp to lists.

Macro-name-listp

Recognize true lists of symbols that name macros.

Function-symbol-listp

Lift function-symbolp to lists.

Function-name-listp

Recognize true lists of symbols that name functions.

Theorem-namep

Recognize symbols that name theorems.

Macro-namep

Recognize symbols that name macros.

Constant-namep

Recognize symbols that name constants.

Fresh-namep

Utilities to check the freshness of event names.

Std/system/function-symbolp

Theorems about function-symbolp.