Commit 96af6047 authored by Allan Blanchard's avatar Allan Blanchard

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

parent ad03921b
......@@ -455,7 +455,7 @@ $G(n) \equiv P(n)\Longrightarrow\,Q(n)$:
\[\TACTIC{\Delta\models\,G(n)}{%
\begin{array}[t]{lll}
\Delta', & n = b & \models G(n) \\
\Delta', G(k), & b \leq i < n & \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)
\end{array}} \]
......
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