HoTT/HoTT — pull request #140 by JasonGross (2013-07-07 15:30:07+00:00)
Title: Axiom removal

Remove all internal uses of `FunextAxiom` and `UnivalenceAxiom`. For me, with the latest version of HoTT/coq, everything works fine without them.

Once again, I can get rid of the whitespace changes that my emacs made.