\NeedsTeXFormat{LaTeX2e}[1995/12/01]
\ProvidesClass{cs3234assignment}
              [2001/07/28 v1.0; assignment for CS3234]

\LoadClass{article}

\ProcessOptions

%% \usepackage{amstext}
%% \usepackage{amsmath}
%% \usepackage{amssymb}
%% \usepackage{processors}
%% \usepackage{url}
\usepackage{amstext}
\usepackage{amsmath}
\usepackage{amssymb}

\usepackage{datetime}

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

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

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

\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}


\newcommand{\assignmentnumber}[1]{\newcommand{\anum}{#1}}

\newcommand{\assignmenttitle}[1]{\newcommand{\atit}{#1}}

\parindent 0pt

\AtBeginDocument{%
{\Large UIT2206: The Importance of Being Formal}\newline
\vspace{10mm}

{\LARGE Assignment Week \anum:\\[3mm] \atit}
\vspace{10mm}

}
