Names of theorems are typeset on a separate line.

diff --git a/macros.tex b/macros.tex
index c10500ea60ec642314db18232051c713709f8979..aab43d925d96851d6be4e4f5b1fe17eef83aa0d3 100644 (file)
--- a/macros.tex
+++ b/macros.tex
@@ -346,11 +346,11 @@
 
 \def\label#1{{\sl (#1)\/}\enspace}
 
-\def\thmn{\thm\label}
-\def\lemman{\lemma\label}
-\def\defnn{\defn\label}
+\def\thmn#1{\thm\label{#1}\hfil\break}
+\def\lemman#1{\lemma\label{#1}\hfil\break}
+\def\defnn#1{\defn\label{#1}\hfil\break}
 \def\algn{\alg\label}
-\def\notan{\nota\label}
+\def\notan#1{\nota\label{#1}\hfil\break}
 
 \def\proof{\noindent {\sl Proof.}\enspace}
 \def\proofsketch{\noindent {\sl Proof sketch.}\enspace}

diff --git a/mst.tex b/mst.tex
index 6f0dea7a08cfc7f62a31aa00832ffe5b8461627d..549a7abc63a2e75cb314288dc55633a67450e283 100644 (file)
--- a/mst.tex
+++ b/mst.tex
@@ -550,7 +550,7 @@ As in the original Bor\o{u}vka's algorithm, the number of iterations is $\O(\log
 Then apply the previous lemma.
 \qed
 
-\thmn{\cite{mm:mst}}\id{planarbor}%
+\thmn{Contractive Bor\o{u}vka on planar graphs, \cite{mm:mst}}\id{planarbor}%
 When the input graph is planar, the Contractive Bor\o{u}vka's algorithm runs in
 time $\O(n)$.