Added two examples in Complex/ex :Reflected QE for linear real arith and QE for mixed integer real linear arithmetic
Added two examples in Complex/ex :Reflected QE for linear real arith and QE for mixed integer real linear arithmetic

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