  The theory of Ihara zeta functions is extended to infinite graphs which are
weighted and of finite total weight. In this case one gets meromorphic instead
of rational functions and the classical determinant formulas of Bass and Ihara
hold true with Fredholm determinants.
