From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 11 Mar 2012 15:57:25 +0000 (+0000)
Subject: wip creates
X-Git-Tag: f0.2~85
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=8e50473d05c378116ff19c688df42203a90c10fa

wip creates
---

diff --git a/article.tex b/article.tex
index fda5026..5b86fbc 100644
--- a/article.tex
+++ b/article.tex
@@ -440,6 +440,14 @@ $\qed$
 If $D = C$, trivial.  For $D \neq C$:
 $D \isin C \equiv D \isin A \equiv D \le A \equiv D \le C$.  $\qed$
 
+\section{Create Base}
+
+xxx tbd
+
+\section{Create Tip}
+
+xxx tbd\
+
 \section{Anticommit}
 
 Given $L, R^+, R^-$ where