Commit f7cf006e authored by Allan Blanchard's avatar Allan Blanchard

Apply suggestion to src/plugins/wp/doc/manual/wp_plugin.tex

parent 96af6047
...@@ -456,7 +456,7 @@ $G(n) \equiv P(n)\Longrightarrow\,Q(n)$: ...@@ -456,7 +456,7 @@ $G(n) \equiv P(n)\Longrightarrow\,Q(n)$:
\begin{array}[t]{lll} \begin{array}[t]{lll}
\Delta', & n = b & \models G(n) \\ \Delta', & n = b & \models G(n) \\
\Delta',\; \forall i,\, b \leq i < n \Longrightarrow G(i) \;& \models G(n) \\ \Delta',\; \forall i,\, b \leq i < n \Longrightarrow G(i) \;& \models G(n) \\
\Delta', G(k), & n < i \leq b & \models G(n) \Delta',\; \forall i,\, n < i \leq b \Longrightarrow G(i) \; & & \models G(n)
\end{array}} \] \end{array}} \]
\paragraph{Overflow} Integer Conversions \\ \paragraph{Overflow} Integer Conversions \\
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment