HoTT/HoTT — pull request #344 by JasonGross (2014-03-23 03:20:23+00:00)
Title: Fix the numbering of (Bool <~> Bool) <~> Bool

Reported By: Edward Z. Yang