diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md
index d704fd674a..beafe535b3 100644
--- a/kore/CHANGELOG.md
+++ b/kore/CHANGELOG.md
@@ -14,6 +14,23 @@ All notable changes to this project will be documented in this file.
 
 ### Fixed
 
+## [0.31.0.0] - 2020-09-30
+
+### Added
+
+- Inferred conditions are used to simplify unevaluated functions. (#2095)
+
+### Changed
+
+- The prover infers that the right-hand sides of claims are defined. (#2110)
+
+### Fixed
+
+- Unsatisfiable configurations are filtered from the right-hand side of
+  claims. (#2145)
+- Function evaluation is disabled while matching the left-hand side of an
+  equation. (#2143)
+
 ## [0.30.0.0] - 2020-09-18
 
 ### Changed
diff --git a/kore/package.yaml b/kore/package.yaml
index a8215047bc..2ef90f9a98 100644
--- a/kore/package.yaml
+++ b/kore/package.yaml
@@ -1,5 +1,5 @@
 name:                kore
-version:             0.30.0.0
+version:             0.31.0.0
 github:              "kframework/kore"
 license:             NCSA
 license-file:        LICENSE