  Using U-duality transformations we map perturbative Type IIA string theory
compactified on a class of Joyce 7-manifolds to a D-strings on D-manifold
description in Type IIB theory. For perturbative Type IIB theory on the same
class of Joyce manifolds we use duality transformations to map to an M-theory,
M-manifold description, which is an orientifold with fivebrane twisted sectors.
D and M-manifold descriptions of discrete torsion are found. For the same class
of compactifications we show that Type IIA/IIB theory on a Joyce orbifold
without (with) discrete torsion is T-dual to Type IIB/IIA theory on the same
orbifold with (without) discrete torsion. For this class of Type II
compactifications this proves an extension of the Papadopoulos-Townsend
conjecture, which states that the Type IIA and IIB theories compactified on the
same Joyce 7-manifold are equivalent. Finally we note that the
Papadopoulos-Townsend conjecture is a special case of the Generalised Mirror
Conjecture.
