\documentclass[11pt]{article}

%\include{header}
\usepackage{amssymb}
\usepackage{remark}
 \newremark{theorem}{Theorem}[section]
 \newremark{Rule}{Rule}[section]
 \newremark{proofrule}{Proof Rule}[section]
 \newremark{conjecture}{Conjecture}[section]
 \newremark{corollary}{Corollary}[section]
 \newremark{example}{Example}[section]
 \newremark{fact}{Fact}[section]
 \newremark{lemma}{Lemma}[section]
 \newremark{definition}{Definition}[section]
 \newremark{claim}{Claim}[section]
 \newremark{remark}{Remark}[section]
 \newremark{slogan}{Slogan}[section]
 \newremark{axiom}{Axiom}[section]
 \newremark{note}{Note}[]
 \newremark{problem}{Problem}[section]
 \newremark{exercise}{Exercise}[section]

\newcommand{\rbreak}{\ \\}
\newcommand{\NamedSequentRule}[3]{{\mbox{{\begin{tabular}{c} {\mbox{$#1$}}\vspace{.25em}\\ \hline \vspace{.25em} {\mbox{$#2$}} \end{tabular}}{\hspace{.5em}{#3}}}}}

\newcommand{\NamedConditionalSequentRule}[4]{{\mbox{{\begin{tabular}{c} {\mbox{$#1$}}\vspace{.25em}\\ \hline \vspace{.25em} {\mbox{$#2$}} \end{tabular}}{\hspace{.5em}{#3}{\hspace{.25in}{#4}}}}}}

\newcommand{\bool}{\mathbb{B}}
\newcommand{\definedAsM}{{\stackrel{{\mathrm{def}}}{=}}}


\begin{document}

\title{Lecture Notes}
\date{\today}




\bibliographystyle{plain}
\bibliography{bib}


\end{document}
% Local Variables:
% mode:latex
% comment-column:0
% comment-start: "\\> "
% comment-end: "\\\\"
% compile-command: "pdflatex lec_9_15_15"
% fill-column:79
% End: