Questão jurídica principal
Whether the federal proceedings should be discontinued after withdrawal of the appeal
Decisão extraída
The proceedings were discontinued as withdrawn by the appellants.
Fundamentação extraída
Once the appellants withdrew their submission, the President had to strike the case off the docket under the applicable federal procedural rules.