HoTT/book — pull request #402 by awodey (2013-07-07 10:34:34+00:00)
Title: formal notation for judgmental equality in appendix differs from intro

compared notation for judgmental equality with that in the intro