From 45660137914fb1a7e7efe44ef84305add6468c05 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 7 Jul 2012 19:41:05 +0100
Subject: [PATCH] wip traversal

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

diff --git a/trav-proofs.tex b/trav-proofs.tex
index b451a61..a9ed5cd 100644
--- a/trav-proofs.tex
+++ b/trav-proofs.tex
@@ -15,6 +15,10 @@ TODO COMPLETE MERGE-BASE STUFF
 
 WIP WHAT ABOUT PROVING ALL THE TRAVERSAL RESULTS
 
+\subsection{Recreate Base Beginning}
+
+
+
 \subsection{Tip Base Merge}
 
 $L = W$, $R = \tipcn$.
-- 
2.30.2