strategy: split into more files

[topbloke-formulae.git] / trav-proofs.tex

diff --git a/trav-proofs.tex b/trav-proofs.tex
new file mode 100644 (file)
index 0000000..14f6cd8
--- /dev/null
+++ b/trav-proofs.tex
@@ -0,0 +1,7 @@
+\section{Traversal phase --- proofs}
+
+For each operation called for by the traversal algorithms, we prove
+that the commit generation preconditions are met.
+
+\subsection{Tip Base Merge}
+