  This is the second part of our study of the dimension theory of $C^1$
iterated function systems (IFSs) and repellers on ${\Bbb R}^d$. In the first
part we proved that the upper box-counting dimension of the attractor of any
$C^1$ IFS on ${\Bbb R}^d$ is bounded above by its singularity dimension, and
the upper packing dimension of any ergodic invariant measure associated with
this IFS is bounded above by its Lyapunov dimension. Here we introduce a
generalized transversality condition (GTC) for parametrized families of $C^1$
IFSs, and show that these upper bounds give actually the dimensions for
"typical" $C^1$ IFSs under this transversality condition. Moreover we verify
the GTC for some parametrized families of $C^1$ IFSs on ${\Bbb R}^d$.
