HoTT/HoTT — pull request #560 by mikeshulman (2014-10-08 04:42:30+00:00)
Title: move equiv_bool_equiv_bool_bool to types/Bool

The comments say that it was in `Misc` because "we can't depend on EquivalenceVarieties in types/Bool", but I don't see why not. types/Universe also depends on EquivalenceVarieties.