ACL2-PC::SKIP

(macro) ``succeed'' without doing anything
Major Section:  PROOF-CHECKER-COMMANDS

Example and General Form:
skip

Make no change in the state-stack, but ``succeed''. Same as (sequence nil).