Commit caad07cf authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

* doc/tl/tl.tex: Typo.

parent ad2f5524
Pipeline #10516 passed with stages
in 150 minutes and 39 seconds
...@@ -1818,7 +1818,7 @@ proved to be implied by $f$ using either of the above two methods. ...@@ -1818,7 +1818,7 @@ proved to be implied by $f$ using either of the above two methods.
Additionally, implications denoted by $f\Simp g$ are only checked if Additionally, implications denoted by $f\Simp g$ are only checked if
the ``\verb|tl_simplifier_options::containment_checks_stronger|'' the ``\verb|tl_simplifier_options::containment_checks_stronger|''
option is set (otherwise the rewriting rule is not applied). We write option is set (otherwise the rewriting rule is not applied). We write
$f\simpe g$ iff $f\simp g$ and $f\simp f$. $f\simpe g$ iff $f\simp g$ and $g\simp f$.
As in the previous section, formulas $e$ and $u$ represent As in the previous section, formulas $e$ and $u$ represent
respectively pure eventualities and purely universal formulas. respectively pure eventualities and purely universal formulas.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment