Crystalline cohomology of superschemes

We introduce a notion of crystalline cohomology for superschemes and show that it is isomorphic to the usual crystalline cohomology of the underlying commutative scheme if 2 is invertible on the base.