HoTT/HoTT — pull request #658 by mikeshulman (2014-12-29 22:47:37+00:00)
Title: Move BAut, Cantor, and BAut(Cantor) to Spaces/

Partial progress towards resolving #636. Unless I messed up somewhere, this commit only moves existing code around.