Conveniently reason in multiple Setoids simultaneously
Merge pull request #3 from helmutg/feature-setoidreasoning

Conveniently reason in multiple Setoids simultaneously
[auto] merge master into gh-pages
[auto] updated html listings