HoTT/HoTT — pull request #158 by JasonGross (2013-08-01 02:18:07+00:00)
Title: Make [f_ap] more powerful

It now can use [apD10] and deal with some dependent functions.