UnivalentMathematics/Foundations — pull request #2 by benediktahrens (2014-03-11 10:47:16+00:00)
Title: remove checks and abouts

removing Check and About vernaculars to make compilation silent
leaving the stuff in a comment to memorize how to set arguments