From 63282d1760ad1c5b46b736248e0312b42b5c2c83 Mon Sep 17 00:00:00 2001
From: Hans-Joerg Schurr <commits@schurr.at>
Date: Mon, 3 Jun 2024 17:08:20 -0500
Subject: [PATCH] Update changelog: note that forall_inst was changed
---
spec/changelog.tex | 3 +++
1 file changed, 3 insertions(+)
diff --git a/spec/changelog.tex b/spec/changelog.tex
index 50e52bc..ece5aeb 100644
--- a/spec/changelog.tex
+++ b/spec/changelog.tex
@@ -16,6 +16,9 @@ Breaking changes:
\item Add the sort to all variables in contexts. Before, the context
of a bind could be \texttt{(x S) (:= y x)}. Now it must
be \texttt{(x S) (:= (y S) x)}.
+ \item The arguments for \proofRule{forall_inst} have been changed to
+ no longer take the shape of bindings using \texttt{(:= x c)}.
+ Instead, the list of instatiation terms must follow the variable order.
\end{itemize}
\noindent
--
GitLab