From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 12 Mar 2012 14:13:20 +0000 (+0000)
Subject: todo list item
X-Git-Tag: f0.2~63
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=21742f0a238a9a7d9c55666a6bd338626ea2cc79;p=topbloke-formulae.git

todo list item
---

diff --git a/article.tex b/article.tex
index c3c658c..50fc96c 100644
--- a/article.tex
+++ b/article.tex
@@ -497,6 +497,8 @@ Consider some $D \isin B$.  If $D = B$, $D \in \pn$, OK.
 If $D \neq B$, $D \isin L$.  By No Replay of $D$ in $L$, $D \le L$.
 Thus by Foreign Contents of $L$, $\patchof{D} = \bot$.  OK.
 
+xxx this is wrong
+
 $\qed$
 
 \subsection{Coherence and Patch Inclusion}