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 a07a3f6d
Prev
Show latest version
1 file
+ 0
− 1
Compare changes
  • Side-by-side
  • Inline
spec/rule_list.tex
+ 0
− 1
@@ -601,7 +601,6 @@ Either of the form:
$(t_1 < 0 \land \neg (t_2 ≈ t_3)) \rightarrow \neg (t_1 * t_2 ≈ t_1 * t_3)$
& (\currule) \\
\end{AletheX}
.
\end{RuleDescription}
\begin{RuleDescription}{bind}