 \newcommand{\isah}{Isabelle/HOL\xspace}
\newcommand{\tlangle}{\text{\textlbrackdbl}}
\newcommand{\trangle}{\text{\textrbrackdbl}}
\newcommand{\ntlangle}{{\normalfont\text{\textlbrackdbl}}}
\newcommand{\ntrangle}{{\normalfont\text{\textrbrackdbl}}}

\newcommand{\fconsts}{\ (\nconstant c_1,...,c_n \in Config)}
\newcommand{\fconst}{\ (\nconstant c \in Config)}


\newcommand{\draft}[1]{
  \vspace{-3mm}
  \begin{center}
    \fbox{
      \begin{minipage}{0.967\linewidth} \small
        \textsf{#1}
      \end{minipage}
      }
  \end{center}
}

\newcommand{\mybox}{~\\
\vspace{-15mm}\\ 
\begin{flushright} {\ensuremath \Box} \end{flushright}}


 
\renewcommand{\labelitemii}{$\diamond$} 
\renewcommand{\labelitemiii}{$\ast$}
\renewcommand{\labelitemiv}{$\cdot$}
 
\newcommand{\ist}[1]{{\isastyle #1}}
\newcommand{\tbf}[1]{\textbf{#1}}
\newcommand{\tit}[1]{\textit{#1}}
\newcommand{\msfn}[1]{\textsf{\small#1}}
\newcommand{\msf}[1]{\textsf{\footnotesize#1}}
\newcommand{\mbsf}[1]{\textsf{\textbf{\footnotesize#1}}}
\newcommand{\pfeil}{\ding{229}}
\newcommand{\erweit}{\ding{239}}
\newcommand{\dto}{\Rightarrow}
\newcommand{\lto}{\longrightarrow}
\newcommand{\andl}{\wedge}
\newcommand{\orl}{\vee}
\newcommand{\isabh}{Isabelle/HOL\xspace}
\newcommand{\timesync}{time-synchronous\xspace}
\newcommand{\istream}{\msf{inStream}}
\newcommand{\ostream}{\msf{outStream}}
\newcommand{\lstream}{\msf{locStream}}
\newcommand{\isheaf}{\msf{inSheaf}}
\newcommand{\osheaf}{\msf{outSheaf}}
\newcommand{\sinout}[1]{\msf{#1\_InOut}}
\newcommand{\fr}{FlexRay\ }
 
\newcommand{\autofocusString}{\textsc{AutoFocus}}
\newcommand{\autofocus}{\autofocusString\xspace}
\newcommand{\af}{\autofocus}
\newcommand{\autofocusIII}{\autofocus~3\xspace}
\newcommand{\afIII}{\autofocusIII}
\newcommand{\aft}{\autofocusIII}
 
\newcommand{\ntimedeq}[2]{\ensuremath{#1 \dashrightarrow #2}}
\newcommand{\ntimedeqd}[3]{\ensuremath{#1 \stackrel{#3}{\dashrightarrow} #2}} 
\newcommand{\nmod}[2]{\ensuremath{\mathsf{mod}(#1,#2)}}


\newcommand{\isabsem}[1]{\textlbrackdbl\xspace$#1$\xspace\textrbrackdbl$_{Isab}$\xspace}
\newcommand{\isabsemm}[1]{\ensuremath{[\![#1]\!]_{Isab}}}

\newcommand{\ttl}[1]{\textsf{ttl}(#1)} 
\newcommand{\ftfin}[1]{\textsf{fti}\ensuremath{^\textsf{fin}}(#1)}
\newcommand{\ftinf}[1]{\textsf{fti}\ensuremath{^\textsf{inf}}(#1)}
\newcommand{\indffti}[1]{\textsf{ind}_\textsf{fti}^\textsf{fin}(#1)}
\newcommand{\indifti}[1]{\textsf{ind}_\textsf{fti}^\textsf{inf}(#1)}
\newcommand{\ndrop}[2]{\ensuremath{{{#1}\uparrow_{#2}}}}
\newcommand{\infdisjS}[1]{\textsf{disj}\ensuremath{^\textsf{inf}_\textsf{S}(#1)}}
\newcommand{\infdisj}[1]{\textsf{disj}\ensuremath{^\textsf{inf}(#1)}}

