  We introduce a class of causal manifolds which contains the globally
hyperbolic spacetimes and we prove global propagation theorems for sheaves on
such manifolds. As an application, we solve globally the Cauchy problem for
hyperfunction solutions of hyperbolic systems.
