From 50af1d201be714a35c68f50df87c896cadd02412 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 16 Jul 2012 05:56:28 +0100
Subject: [PATCH] strategy: traversal, Tip-Merge, from base, Tip Merge & Merge
 Acyclic

---
 traversal.tex | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/traversal.tex b/traversal.tex
index b07cc9c..9ed7172 100644
--- a/traversal.tex
+++ b/traversal.tex
@@ -226,6 +226,10 @@ R = \tipcn$ and $M = \baseof{W}$.
    so Base Covers Reachable indeed
    $\tipcn \ge \baseof{W}$.
   }
+  \condproof{Tip Merge}{ Trivial. }
+  \condproof{Merge Acyclic}{
+   By Base Acyclic, $\tipcn \nothaspatch \p$.
+  }
 
   TODO TBD
 
-- 
2.30.2