From 0c249e12e5e0e7b677b533b94c04787630ad5f7d Mon Sep 17 00:00:00 2001
From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Mon, 29 Nov 2021 15:59:40 -0300
Subject: [PATCH] [Calculus] Remove repeated cases in ITE_simp
---
spec/rule_list.tex | 2 --
1 file changed, 2 deletions(-)
diff --git a/spec/rule_list.tex b/spec/rule_list.tex
index 4866582..a272e80 100644
--- a/spec/rule_list.tex
+++ b/spec/rule_list.tex
@@ -1165,8 +1165,6 @@ The possible transformations are:
\item $\operatorname{ite} \bot \; t_1 \; t_2 \leftrightarrow t_2$
\item $\operatorname{ite} \psi \; t \; t \leftrightarrow t$
\item $\operatorname{ite} \neg \varphi \; t_1 \; t_2 \leftrightarrow \operatorname{ite} \varphi \; t_2 \; t_1$
- \item $\operatorname{ite} \top \; t_1 \; t_2 \leftrightarrow t_1$
- \item $\operatorname{ite} \bot \; t_1 \; t_2 \leftrightarrow t_2$
\item $\operatorname{ite} \psi \; (\operatorname{ite} \psi\;t_1\;t_2)\; t_3 \leftrightarrow
\operatorname{ite} \psi\; t_1\; t_3$
\item $\operatorname{ite} \psi \; t_1\; (\operatorname{ite} \psi\;t_2\;t_3) \leftrightarrow
--
GitLab