-
Alexandre Duret-Lutz authored
* doc/tl/tl.tex (Other Equivalences): Move... (Defining LTL with only one of $\U$, $\W$, $\R$, or $\M$): ... here.
1ddafc1c
* doc/tl/tl.tex (Other Equivalences): Move... (Defining LTL with only one of $\U$, $\W$, $\R$, or $\M$): ... here.