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 (from parent 1:
2d0d58b
)
add FIXME because \py seems to cause barf in \subsubsection
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sat, 3 Mar 2012 20:42:18 +0000
(20:42 +0000)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sat, 3 Mar 2012 20:44:46 +0000
(20:44 +0000)
article.tex
patch
|
blob
|
history
diff --git
a/article.tex
b/article.tex
index f0bbf33b91975bcb61866b8eeef73fabcea17af2..cae101934b5275e33c485a243e359eaca8e01e0d 100644
(file)
--- a/
article.tex
+++ b/
article.tex
@@
-396,7
+396,7
@@
Thus $A \le L \lor A \le R$.
By Unique Base of L and Transitive Ancestors,
$A \le L \equiv A \le \baseof{L}$.
By Unique Base of L and Transitive Ancestors,
$A \le L \equiv A \le \baseof{L}$.
-\subsubsection{For $R \in
\
py$:}
+\subsubsection{For $R \in
FIXME
py$:}
By Unique Base of $R$ and Transitive Ancestors,
$A \le R \equiv A \le \baseof{R}$.
By Unique Base of $R$ and Transitive Ancestors,
$A \le R \equiv A \le \baseof{R}$.
@@
-417,7
+417,7
@@
Let $S =
R \in \pn : & R
\end{cases}$.
Then by Tip Merge $S \ge \baseof{L}$, and $R \ge S$ so $C \ge S$.
R \in \pn : & R
\end{cases}$.
Then by Tip Merge $S \ge \baseof{L}$, and $R \ge S$ so $C \ge S$.
-
+
Consider some $A \in \pn$. If $A \le S$ then $A \le C$.
If $A \not\le S$ then
Consider some $A \in \pn$. If $A \le S$ then $A \le C$.
If $A \not\le S$ then
@@
-430,6
+430,5
@@
Then by Calculation Of Ends $A \in \pendsof{L,\pn} \lor A \in
%$\pends{C,
%%\subsubsection{For $R \in \py$:}
%$\pends{C,
%%\subsubsection{For $R \in \py$:}
-%foo
\end{document}
\end{document}