ex/Tree23.thy: simplify proof of bal_add0
ex/Tree23.thy: simplify proof of bal_add0

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