		Search-engine friendly clone of the ACL2 documentation.

ACL2-pc::drop

(primitive) drop top-level hypotheses

Examples:
(drop 2 3) -- drop the second and third hypotheses
drop       -- drop all top-level hypotheses

General Forms:
(drop n1 n2 ...) -- Drop the hypotheses with the indicated indices.

drop             -- Drop all the top-level hypotheses.

Remark: If there are no top-level hypotheses, then the instruction drop will fail. If any of the indices is out of range, i.e. is not an integer between one and the number of top-level hypotheses (inclusive), then (drop n1 n2 ...) will fail.