From 02d646dff7177c19756094eb179a5c324e268f3b Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 16 Jul 2012 05:57:55 +0100
Subject: [PATCH] strategy: traversal, Tip-Merge, from base, Foreign Merges

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

diff --git a/traversal.tex b/traversal.tex
index 9ed7172..ab1e6d4 100644
--- a/traversal.tex
+++ b/traversal.tex
@@ -230,6 +230,7 @@ R = \tipcn$ and $M = \baseof{W}$.
   \condproof{Merge Acyclic}{
    By Base Acyclic, $\tipcn \nothaspatch \p$.
   }
+  \condproof{Foreign Merges}{ Not applicable. }
 
   TODO TBD
 
-- 
2.30.2