|
|
|---|
|
|
|
|---|
(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