# Revision history for rme-what4

## 0.1.1

* Added support for uninterpreted functions

## 0.1

* First version.