[list].
'Command examples:       CHECK|: list.'.
'                        CHECK|: list h#2.'.
'                        CHECK|: list h#1-4.'.
'                        CHECK|: list c#3.'.
'                        CHECK|: list c#2-5.'.
'                        CHECK|: list h#1-4 & c#2-5.'.
''.
'This command is used to display the current VC (or part of it) at the'.
'terminal, in hypothesis/conclusion format.'.
