HoTT/HoTT — pull request #405 by JasonGross (2014-06-29 16:32:56+00:00)
Title: Remove [apply fs] and [apply ua]

Use [apply path_forall] and [apply path_universe_uncurried] instead.
It's better practice to not name the instance when we don't have to.