\newcommand{\base}{{\mathcal B}}
\newcommand{\depsreq}{{\mathcal G}}
+\newcommand{\allsrcs}{\set U}
+
\newcommand{\patchof}[1]{\patch ( #1 ) }
\newcommand{\baseof}[1]{\base ( #1 ) }
\newcommand{\depsreqof}[1]{\depsreq ( #1 ) }
\chapter{Update strategy}
\input{strategy.tex}
+\input{ranking.tex}
+\input{trav-alg.tex}
+\input{trav-proofs.tex}
\end{document}