Questão jurídica principal
Whether the appeal proceedings should be struck out after withdrawal of the appeal.
Decisão extraída
The proceedings were discontinued because the appeal had been withdrawn.
Fundamentação extraída
After the parties reached an extrajudicial settlement, counsel filed a withdrawal letter; under Art. 32 BGG the single judge may strike the case from the docket.