Make tactic set_eq for deciding set equalities.
Merge branch 'master' of https://github.com/codenet/wl-no-sleep