removed my shit

So that derek won't cut me like a little bitch
Merge pull request #6 from irongavel/patch-4

Fixed extendProof bug that derek found earlier.
Merge pull request #4 from irongavel/patch-3

removed my shit
Update Proof.java
Update Proof.java
fixed mtchcecker and cleaned unreachable code
Added theorem functionality to reasonDelagation, eliminated reasonReader, changed number of args needed for theorem command
updated exprTreeHelper to account for ~
Changed commenting for current() to avoid confusion
completed reasonDelegation show, added showTable variable (Hashtable)
Merge pull request #8 from irongavel/patch-6

completed reasonDelegation show, added showTable variable (Hashtable), changed calls to current() to toString()
Merge pull request #7 from irongavel/patch-5

Changed commenting for current() to avoid confusion
new Show method
Create ProofTest
Rename ProofTest to ProofTest.java
Merge pull request #9 from irongavel/patch-7

show updated
Merge pull request #10 from irongavel/patch-8

Patch 8
added to do lists to show, linchecker, wtf is the error in the show. show can take single args yo!
Update Proof.java
Update Proof.java