Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
doc
tl
tl.tex
Find file
Blame
History
Permalink
document the recent changes to implication rules
· 308415f8
Alexandre Duret-Lutz
authored
Oct 17, 2017
* doc/tl/tl.tex: This adds the rules implemented in
0a2bca13
for
#293
.
308415f8