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

Conveniently reason in multiple Setoids simultaneously