\title{Hello LaTeX2HTML}
\begin{thm}[Newdon-Leibniez]\label{thm:NL}
If $f\in C^1([a,b])$ then
\begin{equation}\label{eq:NL}
\int_a^b f'(x) d x=f(b)-f(a)
\end{equation}
In \autoref{thm:NL} the main part is \eqref{eq:NL}.
\end{thm}
\title{Hello LaTeX2HTML}
\begin{thm}[Newdon-Leibniez]\label{thm:NL}
If $f\in C^1([a,b])$ then
\begin{equation}\label{eq:NL}
\int_a^b f'(x) d x=f(b)-f(a)
\end{equation}
In \autoref{thm:NL} the main part is \eqref{eq:NL}.
\end{thm}