-
Alexandre Duret-Lutz authored
* doc/tl/tl.tex (Syntactic Hierarchy Classes): Document the ->, <->, and xor operators. Also add a \phi_F class.
00598853
* doc/tl/tl.tex (Syntactic Hierarchy Classes): Document the ->, <->, and xor operators. Also add a \phi_F class.