formais.def

\ProvidesFile{formais.def}[2004/10/20 Definicoes para area formal]

\DeclareRobustCommand{\listofdefinitions}{
    \chapter*{\listdefname}
    \@starttoc{lod}
}

\DeclareRobustCommand{\listoftheorems}{
    \chapter*{\listtheoremsname}
    \@starttoc{loth}
}

\newtheorem{envtheorem}{\theoremname}[chapter]
\newtheorem{lemma}{\lemmaname}[chapter]
\newtheorem{corollary}{\corollaryname}[chapter]
\newtheorem{proposition}{\propositionname}[chapter]
\newtheorem{envdefinition}{\definitionname}[chapter]
\newtheorem{conjecture}{\conjecturename}[chapter]
\newtheorem{envexample}{\examplename}[chapter]
\newtheorem{exercise}{\exercisename}[chapter]
\newtheorem{property}{\propertyname}[chapter]
\newtheorem{remark}{\remarkname}[chapter]

\def\squareforqed{\hbox{\rlap{$\sqcap$}$\sqcup$}}
\def\qed{\ifmmode\squareforqed\else{\unskip\nobreak\hfil
\penalty50\hskip1em\null\nobreak\hfil\squareforqed
\parfillskip=0pt\finalhyphendemerits=0\endgraf}\fi}

\newenvironment{proof}{\emph{\proofname:}\begin{small}}{\end{small}\qed\vskip 12pt}
\newenvironment{example}[1]{\begin{envexample}[#1]\begin{slshape}}{\end{slshape}\end{envexample}}

\newcounter{defcounter}[chapter]
\newenvironment{definition}[1]%
{\begin{envdefinition}[#1]%
        \stepcounter{defcounter}
        \addcontentsline{lod}{chapter}{\protect\textmd{\normalsize \definitionname \thechapter.\arabic{defcounter} -- #1}}
        \addtocontents{lod}{\protect\addvspace{-8pt}}
}%
{\end{envdefinition}}

\newcounter{thcounter}[chapter]
\newenvironment{theorem}[1]%
{\begin{envtheorem}[#1]%
        \stepcounter{thcounter}
        \addcontentsline{loth}{chapter}{\protect\textmd{\normalsize \theoremname \thechapter.\arabic{thcounter} -- #1}}
        \addtocontents{loth}{\protect\addvspace{-6pt}}
}%
{\end{envtheorem}}