\ProvidesPackage{CS599}

\usepackage{amssymb}
\usepackage{xspace}
\usepackage{ifthen}
\usepackage{fullpage}

\renewcommand{\topfraction}{0.99}
\renewcommand{\bottomfraction}{0.99}
\renewcommand{\textfraction}{0}
\addtolength{\topmargin}{1cm}

\newtheorem{fact}{Fact}
\newtheorem{lemma}[fact]{Lemma}
\newtheorem{theorem}[fact]{Theorem}
\newtheorem{corollary}[fact]{Corollary}
\newtheorem{proposition}[fact]{Proposition}
\newtheorem{claim}[fact]{Claim}

\def\QED{{\phantom{x}} \hfill $\rule{1.3ex}{1.3ex}$}

\def\proof{\rm \trivlist \item[\hskip \labelsep{\bf Proof. }]}
\def\endproof{\QED \endtrivlist}

\def\proofsketch{\rm \trivlist \item[\hskip \labelsep{\bf Proof Sketch. }]}
\def\endproofsketch{\QED \endtrivlist}

\newcommand{\@scribes}{}
\newcommand{\scribes}[1]{\renewcommand{\@scribes}{#1}}

\newcommand{\@topic}{}
\newcommand{\topic}[1]{\renewcommand{\@topic}{#1}}

\newcommand{\@lecturedate}{}
\newcommand{\lecturedate}[1]{\renewcommand{\@lecturedate}{#1}}

\newcommand{\makeheader}{
\begin{center}
\renewcommand{\fboxsep}{0.5cm}
\renewcommand{\fboxrule}{2pt}
\fbox{\begin{minipage}{6in}
\large \bf
CS599: Structure and Dynamics of Networked Information (Spring 2008)\\[0.5ex]
\@lecturedate: \@topic\\[0.5ex]
Scribes: \@scribes
\end{minipage}}
\end{center}
\bigskip
}