ACL2-PC::REPEAT-REC

(macro) auxiliary to repeat
Major Section:  PROOF-CHECKER-COMMANDS

See documentation for repeat.