From b9a361f4087dbbe1fa84701286cc908c3c96b745 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 14 Oct 2016 11:39:34 +0200
Subject: [PATCH] docs: fix some newlines
---
docs/base-logic.tex | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/docs/base-logic.tex b/docs/base-logic.tex
index d40973e93..0f7cf136d 100644
--- a/docs/base-logic.tex
+++ b/docs/base-logic.tex
@@ -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}
--
GitLab