  We extend the Paley--Wiener theorem for riemannian symmetric spaces to an
important class of infinite dimensional symmetric spaces. For this we define a
notion of propagation of symmetric spaces and examine the direct (injective)
limit symmetric spaces defined by propagation. This relies on some of our
earlier work on invariant differential operators and the action of Weyl group
invariant polynomials under restriction.
