[done].
'Command examples:       CHECK|: done.'.
'                        CHECK|: done c#2.'.
'                        CHECK|: done c#2 & c#5-7.'.
''.
'The "done" command checks to see if any of the current conclusions can'.
'be inferred reasonably directly from the current hypotheses and, if so,'.
'these conclusions are taken to be true (under current conditions, i.e.'.
'taking account cases, etc.).'.
