drop top-level hypotheses
Major Section: PROOF-CHECKER-COMMANDS
Examples: (drop 2 3) -- drop the second and third hypotheses drop -- drop all top-level hypothesesNote: If there are no top-level hypotheses, then the instruction
General Forms: (drop n1 n2 ...) -- Drop the hypotheses with the indicated indices.
drop -- Drop all the top-level hypotheses.
dropwill 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
(drop n1 n2 ...)will fail.