From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 21 Mar 2012 18:36:31 +0000 (+0000)
Subject: wip exclusive haspatch - fix Anticommit wip
X-Git-Tag: f0.3~23
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=d184b00db1787fe98bdf3df1c4f72b259d9940d3;p=topbloke-formulae.git

wip exclusive haspatch - fix Anticommit wip
---

diff --git a/anticommit.tex b/anticommit.tex
index 166ae17..3d2057e 100644
--- a/anticommit.tex
+++ b/anticommit.tex
@@ -110,7 +110,8 @@ If $L \nothaspatch \p$, $D \not\isin L$ so $D \not\isin C$.
 So $L \nothaspatch \p \implies C \nothaspatch \p$.
 
 Whereas if $L \haspatch \p$, $D \isin L \equiv D \le L$.
-so $L \haspatch \p \implies C \haspatch \p$.
+so $L \haspatch \p \implies C \zhaspatch \p$.
+fixme up to here pdf page 13
 
 $\qed$