HoTT/book — pull request #304 by mstone (2013-06-22 18:16:41+00:00)
Title: Fix alignment in the Nat induction principle display

Note: the problematic display occurs on p. 37 of [http://hottheory.files.wordpress.com/2013/03/hott-online.pdf](http://hottheory.files.wordpress.com/2013/03/hott-online.pdf) in section 1.9: "The natural numbers".