Questão jurídica principal
Whether the public-law appeal had to be terminated after withdrawal.
Decisão extraída
The proceedings were terminated and the case removed from the docket because the appeal was withdrawn.
Fundamentação extraída
Upon withdrawal of the appeal, the presiding judge declares the proceedings terminated by order.