strategy: rename trav-alg.tex to traversal.tex

diff --git a/article.tex b/article.tex
index 6bbe082c65b2a73eb682c81ce1e2296535501fb4..a320e58cc1309a2a7397ff187ea2271edafd3b8f 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -190,7 +190,6 @@
 
 \input{strategy.tex}
 \input{ranking.tex}
-\input{trav-alg.tex}
-\input{trav-proofs.tex}
+\input{traversal.tex}
 
 \end{document}

diff --git a/trav-proofs.tex b/trav-proofs.tex
deleted file mode 100644 (file)
index e69de29..0000000

diff --git a/trav-alg.tex b/traversal.tex
similarity index 100%
rename from trav-alg.tex
rename to traversal.tex