GoProof Tool bar tick comment

GoProof Tool bar tick comment