From 3f0e77aa31bf84c08817d8f013db3834cb5d287b Mon Sep 17 00:00:00 2001
From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Fri, 9 Jul 2021 10:12:21 -0300
Subject: [PATCH] fix definition
Caught by Bruno
---
spec/doc.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/spec/doc.tex b/spec/doc.tex
index 30f3167..7f35786 100644
--- a/spec/doc.tex
+++ b/spec/doc.tex
@@ -2333,7 +2333,7 @@ with $1 \leq k \leq n$.
\begin{plList}
\Gamma\proofsep&
i.& \operatorname{ite} \varphi_1\;\varphi_2\;\varphi_3 \leftrightarrow
- (\varphi_1 \rightarrow \varphi_2) \land (\neg\varphi_1 \rightarrow \neg\varphi_3)
+ (\varphi_1 \rightarrow \varphi_2) \land (\neg\varphi_1 \rightarrow \varphi_3)
&(\currule)\\
\end{plList}
\end{plContainer}
--
GitLab