HoTT/HoTT — pull request #621 by mikeshulman (2014-11-22 19:07:45+00:00)
Title: Collect modality files in Modalities/, close #613.

Also split up accessibility and examples into their own files.