|
Class Summary |
| GoalContentProvider |
Class that give the content to display in the goal folder of the lemma view. |
| HypContentProvider |
|
| HypLine |
This class implements a line in the Table viewer that displays the hypothesis
of a lemma |
| LemmaFilterWindow |
This class displays the filter window that allow to filter hypotheses |
| LemmaSorter |
The class implements a sorter for the hypothesis viewer |
| LemmaView |
This class implements the part of the viewer that displays the lemmas in
different languages. |
| MyLabelProvider |
This class implements a label provider for hypothesis and goal. |