HoTT/HoTT — pull request #105 by kristinas (2013-03-27 18:03:02+00:00)
Title: Added some lemmas

Added some lemmas on the interaction between ap and term formers, as well as a nondependent version of transport_forall.