HoTT/book — pull request #371 by mikeshulman (2013-07-03 23:29:38+00:00)
Title: A script to automatically check whether label numbers have changed

Run it with "make labelcheck".