  For a smooth proper scheme or formal scheme over an unramified, complete DVR
of mixed characteristics we prove a comparison isomorphism relating etale
cohomology of the generic fiber with values in a crystalline etale sheaf to the
crystalline cohomology of its special fiber with values in the associated
F-isocrystal.
