1: \begin{abstract} 

2: We extend the theory of diffeomorphism-invariant spin network states

3: from the real-analytic category to the smooth category.  Suppose that 

4: $G$ is a compact connected semisimple Lie group and $P \to M$ is a smooth

5: principal $G$-bundle.  A `cylinder function' on the space of

6: smooth connections on $P$ is a continuous complex function of the

7: holonomies along finitely many piecewise smoothly immersed curves in

8: $M$.  We construct diffeomorphism-invariant functionals on the space

9: of cylinder functions from `spin networks': graphs in $M$ with edges 

10: labeled by representations of $G$ and vertices labeled by intertwining 

11: operators.  Using the `group

12: averaging' technique of Ashtekar, Marolf, Mour\~ao and Thiemann, we

13: equip the space spanned by these `diffeomorphism-invariant spin

14: network states' with a natural inner product.

15: \end{abstract}

16: