Key legal question
Whether the proceedings should be terminated after withdrawal of the administrative law appeal.
Extracted holding
The dispute became moot upon withdrawal, and the case was declared concluded.
Extracted reasoning
Once the appeal was withdrawn, the dispute fell away and the president could declare the proceedings terminated by order.