UnivalentMathematics/Foundations — pull request #7 by DanGrayson (2014-03-16 15:00:23+00:00)
Title: annotate weqonsecbase with its type

for ease of finding it in a search through the file