\usepackage{fullpage}
\usepackage{color}
\usepackage{graphicx}
\usepackage{epsfig}
\usepackage{amsthm}
\usepackage{latexsym}
\usepackage{amssymb}
\usepackage{amsmath}

% \lecture{number}{date}{title}{scribe}
\newcommand{\lecture}[4]{
\noindent
\fbox{
\begin{minipage}{6.3in}
  {\bf INF 02779 An\'{a}lise de Algoritmos - 2002/2} \hfill #2
  \begin{center}
    {\Large Aula #1: #3} \\[3mm]
  \end{center}
Instrutor: Berilhes Borges Garcia \hfill Escriba: #4
\end{minipage}
}
\bigskip

\bigskip
}

% add DRAFT to your document %
\newcommand{\draft}[0]{
\begin{center}
	{\bf \Large \textsc{DRAFT} }
\end{center}
}

% example environment
\newenvironment{example}
{\emph{Example:}}
{\hfill $\boxtimes$\newline\newline}

% some theorem environments
\newtheorem{theorem}{Teorema}
\newtheorem{proposition}{Proposi\c{c}\~{a}o}
\newtheorem{claim}{Clamor}
\newtheorem{lemma}{Lema}
\newtheorem{corollary}{Corol\'{a}rio}


\newtheorem{acknowledgement}[theorem]{Agradecimentos}
\newtheorem{algorithm}[theorem]{Algoritmo}
\newtheorem{axiom}[theorem]{Axioma}
\newtheorem{case}[theorem]{Caso}
\newtheorem{conclusion}[theorem]{Conclus\~{a}o}
\newtheorem{condition}[theorem]{Conditi\c{c}\~{a}o}
\newtheorem{conjecture}[theorem]{Conjectura}
\newtheorem{criterion}[theorem]{Crit\'{e}rio}
%\newtheorem{example}[theorem]{Example}
%\newtheorem{exercise}[theorem]{Exercise}
\newtheorem{notation}[theorem]{Notata\c{c}\~{a}o}
\newtheorem{problem}[theorem]{Problema}
\newtheorem{remark}[theorem]{Observa\c{c}\~{a}o}
\newtheorem{solution}[theorem]{Solu\c{c}\~{a}o}
\newtheorem{summary}[theorem]{Sum\'{a}ario}
%\newenvironment{proof}[1][Proof]{\textbf{#1.} }{\ \rule{0.5em}{0.5em}}


\newtheorem{definition}{Defini\c{c}\~{a}o} % Use this for non-trivial
	% definitions.

% currently not used %
\newtheorem{exercise}{Exercise}
\newtheoremstyle{example}{\topsep}{\topsep}%
     {\normalfont \small}   % Body font
     {}    % Indent amount (empty = no indent, \parindent = para indent)
     {\bfseries}     % Thm head font
     {}%           Punctuation after thm head
     {\topsep}%     Space after thm head
     {}%         Thm head spec    \theoremstyle{example}
\theoremstyle{example}
%\newtheorem{example}{Example}

\parindent=0pt
