If you are willing to take a difficult theorem of Moise for granted (which proves equivalence of link isotopy in the smooth (tame) and PL category, in his "Affine Structures in 3 Manifolds VIII"), there is a concise proof in the book "Knot Theory" by Manturov.