# Change Log

## 0.1.1 -- 2017-09-06

* Distinguish quantifier-free expressions
* Convert to negation normal form
* Convert to prenex form
* Convert to flat form (select and store have only variables or constants as arguments)
* Replace store with an instance of its axiomatization

## 0.1.0.5  -- 2017-08-29

* Extracting variables occurring in expression

## 0.1.0.4  -- 2017-08-25

* Foldable with sort index
* Traversable with sort index

## 0.1.0.3  -- 2017-07-11

* Expression substitution

## 0.1.0.2  -- 2017-05-26

* Equality of expressions

## 0.1.0.1  -- 2017-05-24

* Parsing

## 0.1.0.0  -- 2017-05-23

* Sorted Expressions à la Carte