Displays the current values of the variables. If a variable is linked with another one then this is displayed in format => XXX -> Term , where XXX is the number of the second variable and Term is the term which is on the end of the chain of variables.

This window can be used during stepwise execution. You can use it in combination with the proof tree which is more convenient.