From 49ac093858aefaf052b927b3016ac250cbd0e5a0 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 26 Feb 2012 00:41:51 +0000
Subject: [PATCH] fix a few bugs in THEORY

---
 THEORY | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/THEORY b/THEORY
index 4478fa0..13c20af 100644
--- a/THEORY
+++ b/THEORY
@@ -3,11 +3,12 @@ GENERAL
  C >= D			C is descendant of 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)
+ Ancestors A(C,P) = { Ca \elem P | Ca <= C }
+ Ends E(C,P) = <=-maximal elements of A(C,P)
  Patch inclusion
    C \haspatch P    <=> [ \forall D \elem P+: D \isin C <=> D <= C ]
    C \nothaspatch P <=> [ \forall D \elem P+: D \notisin C ]
+   and we maintain C \haspatch P v C \nothaspatch P
 
 COMMIT ANNOTATIONS
 
-- 
2.30.2