[status].
'Command example:        CHECK|: status.'.
''.
'This command gives a status report on which conclusions (if any) have been'.
'proved for which particular cases, if a case-consideration is in effect,'.
'or what the goal at the preceding level is in a proof by contradiction'.
'or in a subgoaling attempt.'.
