Pro-Banach dynamical systems with C⁎-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.