X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=blobdiff_plain;f=simple.tex;fp=simple.tex;h=df7a9a72ca9a6062e613da10057f3e6efd906df1;hb=706dd4d88cb6bdeca6550c5b773c66ddfa57a1ba;hp=ae6fc5551fd797dedeeeced6423cf5708b0d0f05;hpb=b1adf56763bea8bb31f2b2113b0718be0dd0bc3a;p=topbloke-formulae.git

diff --git a/simple.tex b/simple.tex
index ae6fc55..df7a9a7 100644
--- a/simple.tex
+++ b/simple.tex
@@ -79,6 +79,7 @@ Ancestors: $ D \le C \equiv D \le L $.
 
 Contents: $ D \isin C \equiv D \isin L \lor f $
 so $ D \isin C \equiv D \isin L $, i.e. $ C \zhaspatch P $.
+OK.
 
 \subsubsection{For $L \nothaspatch \p$:}