HoTT/HoTT — pull request #321 by JasonGross (2014-02-19 04:53:33+00:00)
Title: Dependency graph titles

Now the dependency graphs are no longer titled "_anonymous_0". There has to be a better way to do this, though. Any ideas?

Also, link to proviola, because I think people will be interested in stepping through the proofs from looking at the files.