Skip to content
Snippets Groups Projects
Commit fbea37e0 authored by Lachnitt's avatar Lachnitt
Browse files

Delete accidental copy

parent 8535f765
No related branches found
No related tags found
1 merge request!6Add la_mult_pos and la_mult_neg rules
Pipeline #24082 passed
This commit is part of merge request !6. Comments created here will be created in the context of that merge request.
......@@ -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.
......
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