Fix typos

spec/rule_list.tex

@@ -129,14 +129,13 @@ serves only informational purpose.
   \begin{plContainer}
     \begin{plList}
       \proofsep& i.& \varphi_1 , \dots , \varphi_n &(\dots)\\
-      \plLine\\
       \proofsep& j.& \varphi_{k_1} , \dots , \varphi_{k_m}
       &(\currule\; i)\\
     \end{plList}
   \end{plContainer}
   where $m \leq n$ and  $k_1 \dots k_m$ is a monotonic map to $1 \dots n$
   such that $\varphi_{k_1} \dots \varphi_{k_m}$ are pairwise distinct and
-  $\{\varphi_1, \dots, \varphi_n\} = \{\varphi_{k_1} \dots \varphi_{k_m}\}$.
+  $\{\varphi_1, \dots, \varphi_n\} = \{\varphi_{k_1}, \dots, \varphi_{k_m}\}$.
   Hence, this rule removes duplicated literals.
 \end{proof-rule}