Global Instance all_to_empty_isequiv, Lemma ex_falso added
if_not_hprop_then_equiv_Empty simplified
renamed
eliminate :> in records and classes
move equiv_bool_equiv_bool_bool to types/Bool
fix reference to equiv_bool_equiv_bool_bool in HoTTBookExercises
comments and formatting in Bool.v
Merge pull request #560 from mikeshulman/equivbool

move equiv_bool_equiv_bool_bool to types/Bool
Add separate colors for Basics/ and Tactics/
Merge pull request #558 from mikeshulman/colon-gt

eliminate :> in records and classes
Merge pull request #555 from marcbezem/master

Final polish concerning #543
Merge pull request #562 from JasonGross/more-dep-colors

Add separate colors for Basics/ and Tactics/
factorization systems
add some universe levels