HoTT/HoTT — pull request #600 by benediktahrens (2014-10-31 17:27:06+00:00)
Title: weaken license to substantial portions of source code

suggested amendment to license as explained in issue #598