From e6edb93ac32f2032ebe664e70c01cf60461ecff5 Mon Sep 17 00:00:00 2001
From: Hans-Joerg Schurr <commits@schurr.at>
Date: Thu, 15 Aug 2024 16:06:40 -0500
Subject: [PATCH] Add bind_let to changelog
---
spec/changelog.tex | 3 +++
1 file changed, 3 insertions(+)
diff --git a/spec/changelog.tex b/spec/changelog.tex
index 555bca4..aa8b02b 100644
--- a/spec/changelog.tex
+++ b/spec/changelog.tex
@@ -15,6 +15,9 @@ Proof rules:
clause.
\item Addition of the \proofRule{reordering} rule to represent reordering of
the literals in a clause.
+ \item Addition of the \proofRule{bind_let} rule. This rule can be used to
+ preprocess \inlineAlethe{let} expressions similar to the \proofRule{bind}
+ rule used with ordinary quantifiers.
\end{itemize}
\noindent
--
GitLab