poser3/Prove-It — pull request #25 by lee-vian (2014-02-21 14:59:44+00:00)
Title: Master into Types

Types should be integrated into the theorem system. This will be done in the types topic branch, then brought back into master once the integration is complete.