search

zapline / mili

Automatically exported from code.google.com/p/mili
Boost Software License 1.0
0 stars 0 forks source link

Please add the "implies" function #36

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Please add the "implies" function ( P => Q as !P || Q) to arith-utils.
It should be inlined.
Don't forget to update CONTRIBUTORS and CHANGELOG, according to the 
HowToContribute wiki.

Original issue reported on code.google.com by danielgutson@gmail.com on 5 Jul 2011 at 11:05

GoogleCodeExporter commented 9 years ago 
This issue was closed by revision r223.

Original comment by emmanuel...@gmail.com on 8 Jul 2011 at 12:42