\usepackage {hyperref}
\usepackage {exercise}
\edef\hyper@quote{\string"}
\edef\hyper@sharp{\string#}
\def \softlink #1#2{\special 
  {html:}#2\special
  {html:}}
\def \softtarget #1#2{\special
  {html:}#2\special
  {html:}}

\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newenvironment{proof}{Proof:}{}
