\NeedsTeXFormat{LaTeX2e}[1995/12/01]
\ProvidesClass{cs3212midterm}
              [2001/07/28 v1.0; slides for CS3212]

\DeclareOption*{\PassOptionsToClass{\CurrentOption}{article}}

\ProcessOptions

\LoadClass{article}
\usepackage{fancybox}

\usepackage{amstext}
\usepackage{amsmath}
\usepackage{amssymb}

\usepackage{inductive}
\usepackage{lambda}
\usepackage{simpl}
\usepackage{url}
\usepackage{amsmath}
\usepackage{denotational}
\usepackage{processors}
\usepackage{repl}
\usepackage{impl}
\usepackage{epsfig}

\newenvironment{proof}{%
\noindent
\textbf{Proof:}
}%
{
\hfill \qed\\
\medskip
}

\newcommand{\qed}{$\Box$}

\newcommand{\Rulee}[3]{\genfrac{}{}{0.7pt}{}{{\setlength{\fboxrule}{0pt}\setlength{\fboxsep}{3mm}\fbox{$#1$}}}{{\setlength{\fboxrule}{0pt}\setlength{\fboxsep}{3mm}\fbox{$#2$}}}[#3]}

\newcommand{\transition}{\rightrightarrows_s}
\newcommand{\translate}{\twoheadrightarrow}
\newcommand{\translateaux}{\hookrightarrow}


\newcounter{questioncounter}
\setcounter{questioncounter}{0}
\newcounter{altcounter}

\newenvironment{question}{%
\addtocounter{questioncounter}{1}
\vspace{10mm}
\begin{minipage}{\textwidth}
\textbf{Question \thequestioncounter}:
}% 
{
\end{minipage}
}

\newenvironment{answer}{%
\vspace{10mm}
\textbf{Answer \thequestioncounter}:
}%
{
}

\newcommand{\Answerbox}[1]{%
\vspace{3mm}
{\bf Answer:} \Ovalbox{#1}
}

\newenvironment{alternatives}{%
\setcounter{altcounter}{1}
\begin{itemize}}%
{
\end{itemize}}

\newcommand{\Item}{\item[\thequestioncounter\ \Ovalbox{\Alph{altcounter}}]
\addtocounter{altcounter}{1}
}

\newenvironment{answeralternatives}{%
\setcounter{altcounter}{1}
\begin{itemize}
}%
{%
\end{itemize}
}

\ProcessOptions

\parindent 0pt

\newcommand{\header}[1]{\newcommand{\hdr}{#1}}

\AtBeginDocument{%
{\Large CS3234 Logic and Formal Systems}\newline
\vspace{10mm}

{\large Midterm Examination Questions}
\vspace{10mm}

{\large 16/09/2010}
\vspace{10mm}

\vspace{10mm}

This examination question booklet has 8 pages, including this cover page, 
and contains 12~questions, each worth 10 points. 
Use a 2B pencil to fill up the provided MCQ form.
In the MCQ form, leave Section A blank, and fill up Sections~B and~C.

For each question, choose only one answer! Choose the answer that
\emph{most accurately} answers the question.

\vspace{4mm}

Enter your matriculation number here:\ 
{\LARGE
\begin{tabular}{|c|c|c|c|c|c|c|c|c|c|c|c|c|}
\hline
\ \ &\  \ &\  \ &\  \ &\  \ &\  \ &\  \ &\  \ &\  \ &\  \ &\  \ \\
\hline
\end{tabular}
}

\vspace{10mm}

After finishing and before you exit the room, place the MCQ sheet 
on top your table.

\newpage

\vspace{10mm}
}
