diff --git a/bindings-yices.cabal b/bindings-yices.cabal
--- a/bindings-yices.cabal
+++ b/bindings-yices.cabal
@@ -7,7 +7,7 @@
 -- The package version. See the Haskell package versioning policy
 -- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for
 -- standards guiding when and how versions should be incremented.
-Version:             0.3.0.1
+Version:             0.3.0.2
 
 -- A short (one-line) description of the package.
 Synopsis:            Bindings to the Yices theorem prover
@@ -41,6 +41,8 @@
 
 -- Constraint on the version of Cabal needed to build this package.
 Cabal-version:       >=1.6
+
+Extra-Source-Files: changelog.md                     
 
 source-repository head
   type:     git
diff --git a/changelog.md b/changelog.md
new file mode 100644
--- /dev/null
+++ b/changelog.md
@@ -0,0 +1,2 @@
+	## 0.3 -- 22th August 2015
+	* Extend the API with missing for add, sub and mul binary operators.