Event-macro-intro-macros
Utilities to determine the (names of) macros
to use to introduce certain events.
Subtopics
- Function-intro-macro
- Macro (name) for introducing a function
with given enablement and non-executability.
- Theorem-intro-macro
- Macro (name) for introducing a theorem with a given enablement.
