Unfinished Expression Checker added
Update Proof.java
Merge pull request #2 from irongavel/patch-1

Unfinished Expression Checker added
Finished ExpressionChecker!

Expression Checker, along with helper method indexer
Updated with Inference Checker (as mt)
Updated with Inference Checker
W/ Inference Checker
W/ Inference Checker
Merge pull request #3 from irongavel/patch-2

Finished ExpressionChecker!
Merge pull request #5 from okinm117/master

pull from niko
Fixed extendProof bug that derek found earlier.

Cause was multiple versions of code flying around, we need the code to be merged often or we'll keep getting stupid bugs like this.
slight update
Merge pull request #1 from irongavel/patch-4

Patch 4