  Let X be a C-infinity manifold. We construct a microlocalization functor
$\mu_X$ from the derived category of bounded complexes of ind-sheaves on X to
the one on the cotangent bundle of X. This functor generalizes the classical
theory of microlocalization.
