  For time-reversal invariant graphs we prove the Bohigas-Giannoni-Schmit
conjecture in its most general form: For graphs that are mixing in the
classical limit, all spectral correlation functions coincide with those of the
Gaussian Orthogonal Ensemble of random matrices. For open graphs, we derive the
analogous identities for all S matrix correlation functions.
