edu.toronto.cs.gui
Classes 
GrappaFrame
ImagePanel
InputPanel
KEGTreeFrame
OptionsPanel
OutputPanel
ProofTreeFrame
XChekGUI
XChekMenuBar
XChekToolbar
XPreferencesPresenter