protected void listAll()
    {
        if(myCases.size() == myLemma.numCasesTotal())
            myMessage.setText("All cases for m = " + myLemma.getM() + " are already shown.");
        else
        {
            myLemma.doAll();
            myMessage.setText("All cases for m = " + myLemma.getM() + " shown.");
            refresh();
        }
    }