Microlocalization of Ind-sheaves

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.