Questão jurídica principal
Whether the appeal should be struck off after withdrawal.
Decisão extraída
The proceeding was discontinued because the appeal had been withdrawn.
Fundamentação extraída
Following the parties' comprehensive settlement, the appellants requested dismissal of the case and withdrew the appeal; the president could therefore close the proceedings by order.