Skip to content
Snippets Groups Projects

Document cvc5-style numerals

Merged Hans-Jörg requested to merge devel/decimals into master
1 file
+ 1
1
Compare changes
  • Side-by-side
  • Inline
+ 1
1
@@ -33,7 +33,7 @@ Breaking changes:
only determined by its syntactic category.
\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.
Instead, the list of instatiation terms must follow the variable order and cover all the respective bound variables.
\end{itemize}
\noindent
Loading