% FILE. . . . . /home/hak/hlt/doc/hak/design/slides.mac
% EDIT BY . . . Hassan Ait-Kaci
% ON MACHINE. . Hp-Dv7
% STARTED ON. . Thu Apr 26 15:45:50 2012

% Last modified on Thu Apr 26 15:45:59 2012 by hak
%      modified on Sat Apr 05 01:58:06 2003 by Administrators

\usepackage{times}
\usepackage{latexsym}
\usepackage{amssymb}
\usepackage{slides}
\usepackage{pst-node}

\input{main.mac}

\renewcommand{\Monoid}[1]{\Mon{#1}{\Ide}}
\renewcommand{\Hom}[3]{\ensuremath{\g{hom}_{#3}^{\Ide}\bigl(#2\bigr)\;(#1)}}
\renewcommand{\Comprehension}[3]{\KRNL{\Mon{#1}{\Ide}\;\{#2\;|\;#3\}\;}}
\renewcommand{\qid}[2]{\id{#2}}

\renewcommand{\dfrac}[2]{\def\arraystretch{1.5}
    \begin{array}{c}
    #1 \\ [.25ex]
    \hline
    #2
    \end{array}}

\renewcommand{\COND}[1]{\mbox{\Large\sl\meta{if\/}\hskip.7em}#1}

\renewcommand{\ctyperule}[3]{%
  \begin{array}{l}
    \dfrac{#1}{#2} \\ [3cm]
    \multicolumn{1}{r}\COND{#3}
  \end{array}}
  
\renewcommand{\typerule}[2]{%
    \dfrac{#1}{#2}}

\newcommand{\unif}[2]{\TYPE{#1}\;\meta{=}\;\TYPE{#2}}

\def\ritem#1{\Item \mbox{\Red #1}}
\def\sitem#1#2{\item \texttt{#1}\hfill #2}

\let\Red=\red
\let\Blue=\blue