From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 16 Jul 2012 04:33:16 +0000 (+0100)
Subject: strategy: wip traversal.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=0b2f9c02d4b77a5cadff5f255ba9d2eab0f39c3f;p=topbloke-formulae.git

strategy: wip traversal.
---

diff --git a/traversal.tex b/traversal.tex
index a241644..55a4900 100644
--- a/traversal.tex
+++ b/traversal.tex
@@ -221,7 +221,7 @@ R = \tipcn$ and $M = \baseof{W}$.
   \condproof{Ingredients}{
    $M \le L$ is trivial.  For $M \le R$ we want
    $\tipcn \ge \baseof{W}$.
-
+   Well $W$
    Now $\pendsof{\allreach}{\tipcy} =
    \pendsof{\allreachof{\pcn}}{\tipcy}$
    since we have created no commits $\in \pcn$ since