[delete].
'Command examples:       CHECK|: delete [3,5,6].'.
'                        CHECK|: delete h#3 & h#5-6.'.
''.
'The "delete" command allows you to tell the checker to delete one or more'.
'hypotheses of the current VC.  Thereafter, these hypotheses cannot be'.
'used in constructing a proof, unless they are undeleted with "undelete".'.
''.
'This command can be useful to cut down the amount of information on the'.
'screen and to speed up proof work by eliminating information which is no.'.
'longer needed.'.
