# Changelog for refinery


* 0.1.0.0
  Initial Release of the library

## Unreleased changes

* 0.2.0.0
  Added Alternative/MonadPlus instances to ProofStateT, TacticT, RuleT