derekrazo/ProofProject — pull request #19 by irongavel (2013-07-27 21:19:23+00:00)
Title: update assume, FindAssumption

Added to assume in reason Delegation
added to find assumption