HoTT/HoTT — pull request #252 by JasonGross (2013-11-16 11:01:17+00:00)
Title: Uniformize the order of [Set]s at the top of files

Because I'm obsessive compulsive or something. (It doesn't actually matter what order these come in, but I think it's nicer to use the same order in all the files. Or perhaps I should find a way to only have to do it once, like setting the options in Overture.v or something.)