HoTT/HoTT — pull request #474 by JasonGross (2014-09-08 09:26:50+00:00)
Title: s/Set Record Elimination Schemes/Set Nonrecursive Elimination Schemes/

As per https://coq.inria.fr/bugs/show_bug.cgi?id=3586, [Set Record
Elimination Schemes] is going away eventually.