(M1::PACK)
(M1::REV1)
(M1::ALL-BUT-LAST)
(M1::NV)
(M1::ILOAD-SERIES)
(M1::ISTORE-SERIES)
(M1::SAVE-REGS)
(M1::RESTORE-REGS)
(M1::ICOUNT)
(M1::ANNOTATE-EXPR)
(M1::STRIP-ANNOTATIONS-EXPR)
(M1::RECURSIONS-OKP)
(M1::CHK-INPUT-OUTPUT-ARITY)
(M1::ANNOTATE-MODULE)
(M1::ANNOTATE-MODULES)
(M1::COMPILE-EXPR)
(M1::COMPILE-MODULE)
(M1::ALGORITHM-NAME)
(M1::NTH-SERIES)
(M1::MV-NTH-SERIES)
(M1::ALGORITHM-EXPR)
(M1::ADD-RETURN-LABELS)
(M1::COMPILE-MODULE-LST)
(M1::COMPILE-SYSTEM)
(M1::EXPAND-CALL)
(M1::EXPAND-RET-LST)
(M1::EXPAND-RET)
(M1::ASSEMBLE)
(M1::LABEL-TABLE)
(M1::ASSOC-OR-REPORT)
(M1::LINK)
(M1::DEFCONST-LST)
(M1::SWITCH-TABLE)
(M1::NORMALIZE-CLK+-IFS)
(M1::FLATTEN-CLK+-EXPR)
(M1::TRUNCATE-TO-STOP)
(M1::COMBINE-ADJACENT-NATP-CLOCKS)
(M1::MAKE-CLK+-NEST)
(M1::ASSOCIATE-CLK+S)
(M1::COMBINE-CLOCKS)
(M1::COMPILE-CLOCK-EXPR)
(M1::CALLEDP)
(M1::GENERATE-INDUCTION-HINT-EXPR)
(M1::MAKE-PUSH-NEST)
(M1::MAKE-ACL2-BODY)
(M1::REPEAT)
(M1::DEFUN-CLOCK-AND-HINT-FNS)
(M1::DEFUN-ALGORITHM)
(M1::MAKE-EQUAL-VAR-TOP-POP-STACK)
(M1::NTH-I-LOCALS-LST)
(M1::PUSH-LST)
(M1::GHOST-CALLS)
(M1::VERIFICATION-EVENTS-FOR-MODULE)
(M1::VERIFICATION-EVENTS-FOR-MODULES)
(M1::RELEVANT-EDIT-COMMANDS)
(M1::REPLACE-KEYWORD-ARG)
(M1::EDIT-HINTS)
(M1::EDIT-RULE-CLASSES)
(M1::REPLACE-XARGS)
(M1::EDIT-XARGS)
(M1::DO-EDIT-COMMAND)
(M1::DO-EDIT-COMMANDS)
(M1::EDIT-EVENT-LST)
