Conjunction.intr/elim_balanced; CONVERSION tactical; tuned;
Conjunction.intr/elim_balanced;
CONVERSION tactical;
tuned;

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