HoTT/book — pull request #466 by benediktahrens (2013-09-04 16:03:32+00:00)
Title: missing primes on torus induction added

Fix for issue #465 (https://github.com/HoTT/book/issues/465).