(see the transcript file for additional information)pdfTeX warning (dest): name
{theorem.10.2} has been referenced but does not exist, replaced by a fixed one

pdfTeX warning (dest): name{theorem.6.1} has been referenced but does not exist
, replaced by a fixed one

begin{theorem}[Type Safety]
thmlabel{ssds}{safety} \[-2ex]
noindentbegin{enumerate}
 item{} If $ IsOf{e}{tau}$ and $eStepsTo e'$, then $ IsOf{e'}{tau}$.
 item{} If $IsOf{e}{tau}$, then either $IsVal{e}$, or there exists $e'$ such that $eStepsTo e'$.
end{enumerate}
end{theorem}