at.logic.gapt.prooftool
Class for displaying a list of expansion trees and a title.
The list of expansion trees to be displayed
The title to be displayed at the top
The font to be used
Class for displaying a list of expansion trees and a title.