
%\newtheorem{teo}{Theorem}
%\newtheorem{lemma}[teo]{Lemma}
%\newtheorem{example}[teo]{Example}
%\newtheorem{defin}[teo]{Definition}
%\newtheorem{cor}[teo]{Corollary}
%\newtheorem{prop}[teo]{Proposition}

%\newenvironment{proof}{
%        \begin{small}
%        \begin{list}{}{\setlength{\leftmargin}{0.5cm}}
%                \item {\bf Proof:}
%}{
%        \hfill $\Box$
%        \end{list}
%        \end{small}
%}


%%%%%%%%%%%%% ilps97w e scc
\newcommand{\irule}[2]{\frac{\textstyle\rule[-1.3ex]{0cm}{3ex}#1}%
{\textstyle\rule[-.5ex]{0cm}{3ex}#2}}
\newcommand{\trans}[3]{#1\stackrel{#2}{\longrightarrow}#3}
\newcommand{\tranx}[3]{#1\stackrel{#2}{\Longrightarrow}#3}
%%%%%%%%%%%%%%%%%%%%%%


%%%%%%%% PADL00.tex

\newenvironment{prolog}{
    \begin{list}{}{\setlength{\leftmargin}{0.5cm}}
    \item
       \begin{tt}
       \begin{tabbing}
       xxx \= xxx \= xxx \= xxx \= xxx \= xxx \= xxx \= \kill
}{
       \end{tabbing}
       \end{tt}
    \end{list}
}

\newcommand{\itv}[2]{{#1}~..~{#2}}


\def\0{{\mathbf 0}}
\def\1{{\mathbf 1}}
\def\clpFD{{\tt clp(FD)}}
\def\clpFDS{{\tt clp(FD,$S$)}}
\def\muds{$m$-up-down-stair}
\def\tuds{$2$-up-down-stair}
\def\uuds{$1$-up-down-stair}
\def\uds{up-down-stair}
\def\tild{\~{ }}

\newcommand{\trad}[1]{\mbox{$[\![ \: #1 \: ]\!]$}}

%%% fine padl00.tex

%\newcommand{\epsfig}[4]{\begin{figure}[#4]\centering
%  \BoxedEPSF{#1.eps scaled #3}
%  \caption{#2 \label{#1}}
%  \end{figure}}
%
%\newcommand{\simplefig}[2]{\begin{figure}[h]\centering
%  \BoxedEPSF{#1.eps scaled #2}
%  \end{figure}}
%
%\input boxedeps.tex
%\SetRokickiEPSFSpecial
%\HideDisplacementBoxes



%rosella's definitions + commands
\def\bm#1{\mbox{\boldmath $#1$}}
\newcommand{\angolo}[1]{\langle #1\rangle}
\newcommand{\quadra}[1]{\left[ #1\right]}
\newcommand{\set}[1]{\left\{#1\right\}}
\newcommand{\seq}[1]{\left<#1\right>}



\hyphenation{se-mi-ring}
\sloppy
\frenchspacing


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%



\newcommand{\epsfig}[4]{\begin{figure}[#4]\centering
  \BoxedEPSF{#1.eps scaled #3}
  \caption{#2 \label{#1}}
  \end{figure}}

\newcommand{\simplefig}[2]{\begin{figure}[h]\centering
  \BoxedEPSF{#1.eps scaled #2}
  \end{figure}}
