Global Instance all_to_empty_isequiv, Lemma ex_falso added
if_not_hprop_then_equiv_Empty simplified
renamed
eliminate :> in records and classes
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/
./autogen.sh