From fbea37e00a1530f99c291d692ea9b06f02720b13 Mon Sep 17 00:00:00 2001
From: Lachnitt <lachnitt@stanford.edu>
Date: Tue, 28 May 2024 15:40:04 +0000
Subject: [PATCH] Delete accidental copy
---
spec/rule_list.tex | 7 -------
1 file changed, 7 deletions(-)
diff --git a/spec/rule_list.tex b/spec/rule_list.tex
index 6780d98..7ab1280 100644
--- a/spec/rule_list.tex
+++ b/spec/rule_list.tex
@@ -604,13 +604,6 @@ Either of the form:
.
\end{RuleDescription}
-\begin{RuleDescription}{la_totality}
- \begin{AletheX}
- $i$. & \ctxsep & $t_1 \leq t_2 \lor t_2 \leq t_1$ & (\currule) \\
- \end{AletheX}
-\end{RuleDescription}
-
-
\begin{RuleDescription}{bind}
The \currule{} rule is used to rename bound variables.
--
GitLab