HoTT/HoTT — pull request #82 by mikeshulman (2013-02-19 17:11:37+00:00)
Title: types/Forall

Sorry about all the "merge branch" commits... must be my git-fu not being up to scratch. I hope that doesn't mean I need to learn to use "rebase".