ACL2-PC_colon__colon_RETAIN.html -- ACL2 Version 6.3

### ACL2-PC::RETAIN

(atomic macro) `` drop all but the indicated top-level hypotheses

    Major Section:  PROOF-CHECKER-COMMANDS

    Example:
    (RETAIN 2 3) -- keep the second and third hypotheses, and drop
                    the rest

    General Form:
    (retain &rest args)

Drop all top-level hypotheses except those with the indicated indices.

There must be at least one argument, and all must be in range (i.e. integers between one and the number of top-level hypotheses, inclusive).