From cd9af43c46f44d374540720e9ed4b0339be65199 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Mon, 12 Mar 2012 16:06:18 +0000 Subject: [PATCH] create base: remove ingredients condition --- article.tex | 3 --- 1 file changed, 3 deletions(-) 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} = \{ \} }\] -- 2.30.2