HoTT/HoTT — pull request #397 by JasonGross (2014-05-18 15:04:29+00:00)
Title: Make travis test for axiom dependence

Now travis will enforce the convention that nothing in the library
should depend on FunextAxiom or UnivalenceAxiom.