Clean up whitespace

Author: eernstg

specification/dartLangSpec.tex

@@ -23464,7 +23464,7 @@ \subsection{Same Static Type}
 In short, this transformation adds a unique prefix to every type name
 which is resolved to a top-level declaration
 (in the same library or in an imported library).
-  
+
 This transformation does not change any occurrence of \VOID,
 and does not need to;
 \VOID{} is a reserved word, not a type identifier.
@@ -23486,7 +23486,8 @@ \subsection{Same Static Type}
 
 \LMHash{}%
 When we say that two types $T_1$ and $T_2$ have the
-\IndexCustom{same explicitly resolved syntax}{type!same explicitly resolved syntax},
+\IndexCustom{same explicitly resolved syntax}{%
+  type!same explicitly resolved syntax},
 it refers to the situation where the current library
 and all libraries which are reachable via one or more imports
 have been transformed as described above,
@@ -23502,7 +23503,7 @@ \subsection{Same Static Type}
 A function type is the only kind of type that declares type variables.
 For example,
 \code{List<X>\,\,\FUNCTION<X>({X\,\,arg})}
-can be turned into 
+can be turned into
 \code{List<Y>\,\,\FUNCTION<Y>({Y\,\,arg})}
 by alpha conversion.%
 }
@@ -23923,7 +23924,7 @@ \section*{Appendix: Algorithmic Subtyping}
 \item
   If $T_0$ is \code{($V_0$, \ldots, $V_n$, \{$V_{n+1} d_{n+1}$, \ldots, $V_m d_m$\})}
   and $T_1$ is \code{($S_0$, \ldots, $S_n$, \{$S_{n+1} d_{n+1}$, \ldots, $S_m d_m$\})}
-  then \SubtypeNE{T_0}{T_1} if{}f \SubtypeNE{V_i}{S_i} for each $i \in 0 .. m$.  
+  then \SubtypeNE{T_0}{T_1} if{}f \SubtypeNE{V_i}{S_i} for each $i \in 0 .. m$.
 \end{itemize}