rtranclE, tranclE: tuned statement, added case_names;
rtranclE, tranclE: tuned statement, added case_names;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle