chiark / gitweb /
wip exclusive haspatch - fix Anticommit wip
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 21 Mar 2012 18:36:31 +0000 (18:36 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 21 Mar 2012 18:36:31 +0000 (18:36 +0000)
anticommit.tex

index 166ae17..3d2057e 100644 (file)
@@ -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$