HoTT/book — pull request #243 by tac-tics (2013-05-31 01:05:00+00:00)
Title: Fix for Issue "Indexing ass"

Renamed the associativity law from 'ass' to 'assoc'.