HoTT/HoTT — pull request #64 by mikeshulman (2013-02-06 00:46:03+00:00)
Title: transport_forall_unwound is unnecessary

If we use transport_pV, then we can write out the type of transport_forall explicitly without too much trouble.