HoTT/book — pull request #405 by awodey (2013-07-07 11:16:19+00:00)
Title: judgmental equality in Ch. 1

changed notation to agree with appendix