chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
030848b
)
clarify by swapping two vars
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Fri, 2 Mar 2012 19:05:45 +0000
(19:05 +0000)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Fri, 2 Mar 2012 19:05:51 +0000
(19:05 +0000)
article.tex
patch
|
blob
|
history
diff --git
a/article.tex
b/article.tex
index 2dc644fc140c32fc9f59552bb70cbb1ec5ac72e7..642190f9f823431a058f3aa1b5793bc3f1751396 100644
(file)
--- a/
article.tex
+++ b/
article.tex
@@
-116,7
+116,7
@@
which are in $\set P$.
\item[ $ \pendsof{C}{\set P} $ ]
$ \{ E \; | \; E \in \pancsof{C}{\set P}
\land \mathop{\not\exists}_{A \in \pancsof{C}{\set P}}
\item[ $ \pendsof{C}{\set P} $ ]
$ \{ E \; | \; E \in \pancsof{C}{\set P}
\land \mathop{\not\exists}_{A \in \pancsof{C}{\set P}}
-
A \neq E
\land E \le A \} $
+
E \neq A
\land E \le A \} $
i.e. all $\le$-maximal commits in $\pancsof{C}{\set P}$.
\item[ $ \baseof{C} $ ]
i.e. all $\le$-maximal commits in $\pancsof{C}{\set P}$.
\item[ $ \baseof{C} $ ]