Differentiable holonomic $AV$-modules

We study differentiable holonomic sheaves of $AV$-modules on a smooth quasi-projective variety. We show that a simple differentiable holonomic sheaf $M$ of $AV$-modules is locally the tensor product of a simple holonomic $D$-module and a simple finite-dimensional $gl_n$-module $W$. In particular, in the case when $W$ is integrable, $M$ is the tensor product of a simple holonomic $D$-module and the tensor module associated with $W$.