# Revision history for rme-what4 ## 0.1.1 * Added support for uninterpreted functions ## 0.1 * First version.