%colors
\newcommand{\redbrown}{\color[rgb]{0.72 0.18 0.02}}
\newcommand{\darkgreen}{\color[rgb]{0.0 0.70 0.0}}
\newcommand{\blue}{\color[rgb]{0.0 0.0 0.70}}


% Diverse
\newcommand{\lto}{\ensuremath{\leadsto}}

%\newcommand\lilacbox[1]{\mbox{\psboxit{25 roundedbox 0.225 0 0.525
%    setrgbcolor fill}{\spbox{{\yellow #1}}}}}
%\newcommand\whitebox[1]{\mbox{\psboxit{25 roundedbox 1 1 1
%    setrgbcolor fill}{\spbox{{\yellow #1}}}}}
%\newcommand{\bc}{\mathit{bcet}}
%\newcommand{\wc}{\mathit{wcet}}
%\newcommand{\pe}{\mathit{pe}}





\newcommand{\test}{\mbox{\tt\char'92}}
% Macros for Emphasized tty (Ansers from ML)
\newcommand{\ett}[1]{\mbox{{\tt\em {#1}}}}
\newcommand{\tem}[1]{${\mbox{{\tt\em {#1}}}}$}
\newcommand{\udc}{\mbox{\tt\em\char'137}}
\newcommand{\tlbr}{\mbox{\tt\em\char'173}}
\newcommand{\trbr}{\mbox{\tt\em\char'175}}
\newcommand{\tld}{\mbox{\tt\em\char'176}}

% Macroes for tty letters
\newcommand{\ttbsl}{\mbox{\tt\char'134}}
\newcommand{\ttunsc}{\mbox{\tt\char'137}}
\newcommand{\ttlbrace}{\mbox{\tt\char'173}}
\newcommand{\ttrbrace}{\mbox{\tt\char'175}}
\newcommand{\tttilde}{\mbox{\tt\char'176}}

% Standard mathematical notation
\newcommand{\Int}{\mathbb Z}
\newcommand{\Bool}{\mathbb B}
\newcommand{\Real}{\mathbb R}
\newcommand{\Rat}{\mathbb Q}
\newcommand{\Nat}{\mathbb N}

% Environment with framed box

\newsavebox{\fminibox}
\newenvironment{fminipage}[1][\linewidth]
{\begin{lrbox}{\fminibox}\begin{minipage}{#1}}
{\end{minipage}\end{lrbox}\fbox{\usebox{\fminibox}}}
