We give a rigorous proof that the partition function of the standard h
ermitian two-matrix model at finite N is a tau-function of the 2d Toda
hierarchy. The proof is based on the establishment of a characteristi
c bilinear relation for the associated Baker-Akhiezer functions, which
we have explicitly constructed in terms of the orthogonal polynomials
of the matrix model.