change gui.add Proof Model.
change GUI.
implement QProofModel.
fixed bug for QProofModel.