\usepackage{mylogic}

% Margins, etc.

\addtolength{\textheight}{\headheight}
\addtolength{\textheight}{\headsep}
\setlength{\headheight}{0pt}
\setlength{\headsep}{0pt}

\setlength{\parindent}{0in}
\pagestyle{empty}  


% double space between paragraphs

\newcommand{\skipbetpar}{\addtolength{\parskip}{\baselineskip}}


% header

\newcommand{\homeworkhead}{{\sf 80-310/610 Logic and Computation}
  \hfill {\sf Fall 2001}}

\newcommand{\dotitle}[2]{\homeworkhead 
\bigskip\bigskip
\begin{center}
{\sc Homework \##1} \\ {\small Due #2}
\end{center}
\bigskip\bigskip
}

\newcommand{\soltitle}[2]{\homeworkhead 
\bigskip\bigskip
\begin{center}
{\sc Solutions to Homework \##1}
\end{center}
\bigskip\bigskip
}

\newcommand{\addstar}{\makebox[0in][r]{$\star$\hspace*{0.3in}}}
\newcommand{\addcirc}{\makebox[0in][r]{$\circ$\hspace*{0.3in}}}
 
% List environments

\newcounter{listcounter1}
\newenvironment{list1}{
  \begin{list}{\arabic{listcounter1}.\hfill}{
    \usecounter{listcounter1}
    \setlength{\leftmargin}{18pt}
    \setlength{\labelwidth}{18pt}
    \setlength{\labelsep}{0pt}
    \setlength{\topsep}{0pt}
  }
}{
  \end{list}
}

\newcounter{listcounter2}
\newenvironment{list2}{
  \begin{list}{\alph{listcounter2}.\hfill}{
    \usecounter{listcounter2}
    \setlength{\leftmargin}{16pt}
    \setlength{\labelwidth}{16pt}
    \setlength{\labelsep}{0pt}
    \setlength{\topsep}{0pt}
  }
}{
  \end{list}
}

\newcommand{\normalitemsep}{\setlength{\labelsep}{0.5em}}
\newcommand{\revertitemsep}{\setlength{\labelsep}{0pt}}
\newenvironment{myitemize}{\normalitemsep \begin{itemize}}{%
  \revertitemsep \end{itemize}}

\newcommand{\gmdl}[1]{{\EuFrak #1}}