The explicit construction of a C^1 isometric hyperbolic plane in the euclidean space E^3 is on ArXiV.