ACL2-PC::REPEAT-REC
(macro)
auxiliary to
repeat
Major Section:
PROOF-CHECKER-COMMANDS
See documentation for
repeat
.
