Skip to content
Snippets Groups Projects
Commit b9a361f4 authored by Ralf Jung's avatar Ralf Jung
Browse files

docs: fix some newlines

parent d2858676
No related branches found
No related tags found
No related merge requests found
......@@ -339,12 +339,12 @@ Furthermore, we have the usual $\eta$ and $\beta$ laws for projections, $\lambda
\begin{array}[c]{rMcMl}
\All x. \later\prop &\proves& \later{\All x.\prop} \\
\later\Exists x. \prop &\proves& \later\FALSE \lor {\Exists x.\later\prop} \\
\later\prop &\proves& \later\FALSE \lor (\later\FALSE \Ra \prop) \\
\later\prop &\proves& \later\FALSE \lor (\later\FALSE \Ra \prop)
\end{array}
\and
\begin{array}[c]{rMcMl}
\later{(\prop * \propB)} &\provesIff& \later\prop * \later\propB \\
\always{\later\prop} &\provesIff& \later\always{\prop} \\
\always{\later\prop} &\provesIff& \later\always{\prop}
\end{array}
\end{mathpar}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment