doc: use operator `implies` in documentation
authorJean Privat <jean@pryen.org>
Fri, 23 Aug 2013 19:36:55 +0000 (15:36 -0400)
committerJean Privat <jean@pryen.org>
Fri, 23 Aug 2013 19:36:55 +0000 (15:36 -0400)
commit26730ce0d57cbb632d2eff2ffe1059058fb38611
treebbab1036026785e2ba56117ffafe26213d78d332
parent273872c636c0f99c4273a2b552d02088ba6334ed
doc: use operator `implies` in documentation

Signed-off-by: Jean Privat <jean@pryen.org>
src/model/model.nit
src/poset.nit