Dealing with infinite iterated function systems we introduce and develop the ergodic theory of Holder systems of functions similarly as in [HU] and [HMU]. In the context of conformal infinite iterated function systems we prove the volume lemma for the Hausdorff dimension of the projection onto the limit set of a shift invariant measure. This can be considered as a Billingsley type result. Our cenral goal is to demonstrate the appearance of the "singularity-absolute continuity" dichotomy for equilibrium states of Holder systems of functions which has been observed in [PUZ,I] and [PUZ,II] (see also [DU1] and [DU2]) in the setting of rational functions of the Riemann sphere.