HoTT/book — pull request #347 by guenterrote (2013-07-01 01:17:31+00:00)
Title: some typos

"unnamed variables x and y" sounds like a contradiction.

a remark:
The deMorgan laws hold also when the empty type 0 is replaced by any other type C.