Skip to content
Snippets Groups Projects

Add la_mult_pos and la_mult_neg rules

Merged Add la_mult_pos and la_mult_neg rules
Add-la_mult-rules into master
2 unresolved threads
Merged Lachnitt requested to merge Add-la_mult-rules into master
2 unresolved threads
Viewing commit fbea37e0
Prev Next
Show latest version
1 file
+ 0
− 7
Compare changes
  • Side-by-side
  • Inline
spec/rule_list.tex
+ 0
− 7
@@ -604,13 +604,6 @@ Either of the form:
.
\end{RuleDescription}
\begin{RuleDescription}{la_totality}
\begin{AletheX}
$i$. & \ctxsep & $t_1 \leq t_2 \lor t_2 \leq t_1$ & (\currule) \\
\end{AletheX}
\end{RuleDescription}
\begin{RuleDescription}{bind}
The \currule{} rule is used to rename bound variables.