What theories are there for generalized functions (distributions) in infinite dimensions?
In particular, suppose your "infinite dimensional manifold" is $\mathfrak{M}:=C^\infty(S^1)$. Is there a theory of generalized functions based on the test functions which would roughly be smooth functions on $\mathfrak{M}$? Perhaps using the convenient calculus of Kriegl/Michor.