From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 12 Mar 2012 16:06:18 +0000 (+0000)
Subject: create base: remove ingredients condition
X-Git-Tag: f0.2~42
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=cd9af43c46f44d374540720e9ed4b0339be65199;p=topbloke-formulae.git

create base: remove ingredients condition
---

diff --git a/article.tex b/article.tex
index f7ce2c2..65ef024 100644
--- a/article.tex
+++ b/article.tex
@@ -533,9 +533,6 @@ Given $L$, create a Topbloke base branch initial commit $B$.
 
 \subsection{Conditions}
 
-\[ \eqn{ Ingredients }{
- \patchof{L} = \pa{L} \lor \patchof{L} = \bot
-}\]
 \[ \eqn{ Create Acyclic }{
  \pendsof{L}{\pqy} = \{ \}
 }\]