+++ /dev/null
-\begin{figure}
-
-
-%\paragraph{Default settings}
-%\begin{grammar}
-
-%<statement> ::= <ident> `=' <expr>
-%\alt `for' <ident> `=' <expr> `to' <expr> `do' <statement>
-%\alt `{' <stat-list> `}'
-%\alt <empty>
-
-%<stat-list> ::= <statement> `;' <stat-list> | <statement>
-
-%\end{grammar}
-
-\caption{\label{fig:algorithm}\TOOL algorithm}
-\end{figure}