[remember].
'Command examples:       CHECK|: remember [3,5,6].'.
'                        CHECK|: remember h#3 & h#5-6.'.
''.
'The "remember" command allows you to tell the checker to remember one or'.
'more forgotten hypotheses of the current VC, so that these hypotheses'.
'will once again be displayed on the screen by "list".'.
