diff --git a/spec/changelog.tex b/spec/changelog.tex
index 8ce4b70359e079170a0426884bdac3fbe2f72e95..6bcdbb12e04bbf57ccb82fdc3326dde2cb0d62f3 100644
--- a/spec/changelog.tex
+++ b/spec/changelog.tex
@@ -5,6 +5,7 @@ Proof rules:
   \item Addition of a section describing bitvector proofs.
   \item Bitblasting rules: \proofRule{bitblast_extract},  \proofRule{bitblast_add},
       \proofRule{bitblast_ult}.
+  \item Addition of rules \proofRule{la_mult_pos} and \proofRule{la_mult_neg} to describe multiplication with a positive or negative factor.
 \end{itemize}
 
 \noindent