Changelog of @hackage/bindings-yices 0.3.0.2

## 0.3 -- 22th August 2015
* Extend the API with missing for add, sub and mul binary operators.