Pro-Banach dynamical systems with -crossed product

We prove that a pro-Banach dynamical system ( G , α , A ) admits a C ⁎ -crossed product if and only if A admits an enveloping C ⁎ -algebra.