HoTT/HoTT — pull request #36 by DanGrayson (2012-12-17 21:18:27+00:00)
Title: fix dependencies

Switch to one dependency file per source file