Questão jurídica principal
Whether the appeal proceedings should be discontinued after withdrawal of the appeal
Decisão extraída
The proceedings were struck off the docket because the appeal had been withdrawn.
Fundamentação extraída
Once the appellant withdrew the appeal, the instruction judge could discontinue the proceedings under Art. 32(2) BGG without further adjudication.