This paper provides the proofs to the analysis of a continuous time matching model with saving in Bayer and Wälde (2010a). The paper proves the results on consumption growth, provides an existence proof for optimal consumption and a detailed derivation of the Fokker-Planck equations.