UnivalentMathematics/Foundations — pull request #4 by DanGrayson (2014-03-11 18:03:46+00:00)
Title: remove some development files

They remain visible on the develpment branch at my fork,
https://github.com/DanGrayson/Foundations