Skip to content
Snippets Groups Projects
Commit 01986967 authored by Hans-Jörg's avatar Hans-Jörg
Browse files

Add bind_let to changelog

parent 18be3111
No related merge requests found
Pipeline #44292 passed
This commit is part of merge request !14. Comments created here will be created in the context of that merge request.
......@@ -13,6 +13,9 @@ Proof rules:
and tedious use of \proofRule{subproof} for each direction of the equivalence.
\item Addition of the rule \proofRule{weakening} to express weakening of 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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment