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).