strategy: split into more files

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index 6e3d5156600c4be6dbe41cd6de0a272aee783f54..96857aa65b59798b100d7f68bbfe9faedaec7739 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -174,5 +174,8 @@
 \chapter{Update strategy}
 
 \input{strategy.tex}
+\input{ranking.tex}
+\input{trav-alg.tex}
+\input{trav-proofs.tex}
 
 \end{document}