An alternative proof of a theorem of Davis and Fang

It is conjectured that every almost flat manifold bounds a compact manifold. Davis and Fang proved that every infranilmanifold with cyclic or generalized quaternionic holonomy bounds a compact manifold. In this paper, we give an alternative proof of this theorem by using equivariant topology.