Changelog for setoid-0.1.0.0

Revision history for setoid

0.1.0.0 -- 2017-01-17