本ブラッシュアップの主な目的はGDA-LESシステムにGUI機能を 搭載させることである。 その成果として、GDA-LESシステムに新たに導入された主なGUI画面を示す。 図はそれぞれ、メイン・ウィンドウ、ソート階層および証明木の各グラフィック表示 をハードコピーしたものである。 なお、本GUIに用いたGUI部品モジュールはGDA-LESシステムと独立に 利用可能なように設計した。 その詳細な仕様書も添付しており、その点については次の小節で述べる。
図: GDA-LESメイン・ウィンドウ
図: ソート階層
図: 証明木
