UnivalentMathematics/Foundations — pull request #10 by DanGrayson (2014-03-16 22:57:12+00:00)
Title: remove all LoadPath commands

Needed to make it run under ProofGeneral