What is the precise relation between ILH manifolds and Fréchet manifolds? Specifically:

Does any ILH manifold has a canonical structure of a Fréchet manifold?

If so, is it true that any ILH submanifold is a Fréchet sumanifold?

** Background.**
The notion of an ILH (Inverse Limit Hilbert) manifold was developed by Omori in his studies of diffeomorphism groups. Very roughly it is a manifold modelled on a topological vector space that is the inverse limit of a countable family of Hilbert spaces. This object is easier to deal with than the usual Fréchet manifolds due to the avaiability of the inverse function theorem.

For all I know the inverse limit of Hilbert spaces need not be Fréchet. More precisely, it seems that the inverse limit inherits a countable family of seminorms from the Hilbert spaces, but I see no reason for the inverse limit to be complete (as a uniform space), and I am not sure if the inverse limit is always Hausdorff.

The ILH manifold I am trying to understand is the diffeomorphism group of a compact manifold, so in particular, it is what Omori called a * strong ILH manifold,* which perhaps makes a difference in answering 1-2. The diffeomorphism group is also a Fréchet manifold (indeed, it is the so called *Fréchet-Lie group*), but I am not sure how ILH and Fréchet manifold structures interact.