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 restDrop all top-level hypotheses except those with the indicated indices.
General Form: (retain &rest args)
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,