transport_forall_unwound is unnecessary
Improving the tactics (thanks Jason)
way improved Record tactics (thanks again Jason)
Merge pull request #64 from mikeshulman/forall

transport_forall_unwound is unnecessary
Merge pull request #63 from mikeshulman/forupstream

Correct arguments to equiv_compose, and simplify equiv_Transitive.
Merge pull request #65 from mikeshulman/record

Greatly improved Record tactics, thanks to help from Jason Gross
Merge branch 'record'
Merge branch 'master' of github.com:HoTT/HoTT
Added section "CONTRIBUTING" in README.
Merge branch 'master' of github.com:HoTT/HoTT