[forget].
'Command examples:       CHECK|: forget [3,5,6].'.
'                        CHECK|: forget h#3 & h#5-6.'.
''.
'The "forget" command allows you to tell the checker to forget one or more'.
'hypotheses of the current VC.  Thereafter, although these hypotheses still'.
'exist and can be used in constructing a proof, they are not displayed on'.
'the screen by "list".  The exception to this is if the user uses'.
'the "list" command to list a single hypothesis; in this case, the'.
'hypothesis will be displayed whether or not it has been forgotten.'.
''.
'This command can be useful to cut down the amount of information on the'.
'screen.'.
