X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke.git;a=blobdiff_plain;f=THEORY;h=4478fa064937a2b9a017b6526819a5a44efa50dc;hp=83de604ddb4334a11ff566b40f35dcb8f9789475;hb=8bbe58f296f2b26fa1457c5ed3337d66810a0fae;hpb=ea922d428114ea40177f7f6a6f5e14190dfdd965

diff --git a/THEORY b/THEORY
index 83de604..4478fa0 100644
--- a/THEORY
+++ b/THEORY
@@ -1,7 +1,7 @@
 GENERAL
 
  C >= D			C is descendant of D, partial order
- C \haspatch D		C contains changes from D, partial order
+ D \isin C		C contains changes from D, partial order
  Patch P has two sets P+, P-
  Ancestors A(C,P) = { Ca \elem C | Ca \elem P }
  Ends E(C,P) = maximal elements of A(C,P)