From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 14 Mar 2012 23:22:20 +0000 (+0000)
Subject: wip dependency insertion
X-Git-Tag: f0.2~27
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=12818e0da31738adbaecf129c1e697633d371cf8;ds=sidebyside

wip dependency insertion
---

diff --git a/article.tex b/article.tex
index 7ec582e..0ed90a6 100644
--- a/article.tex
+++ b/article.tex
@@ -855,7 +855,6 @@ $$
   \p \neq \pr \land L \nothaspatch \p : & C \nothaspatch \p
 \end{cases}
 $$
-
 \proofstarts
 ~ Consider some $D \in \py$.
 $D \neq C$ so $D \le C \equiv D \le L \lor D \le R^+$.