\input{../../generic-preamble/generic-preamble}

\lstdefinelanguage{homework}{%
  morekeywords={%
    v,^,exists,all,<->,->,~},%
  alsoletter=-!*\#+<>~^,%
  sensitive=true,%
}


\def\subjnum{6.825}
\def\subjname{Topics in Artificial Intelligence}
\author{Dan Ports}
\authoremail{drkp@mit.edu}
\psetheadertitle{Project}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: