ppolinsky/cs61bl-proof-checker — pull request #8 by chashemi (2013-07-26 00:17:22+00:00)
Title: Update Proof.java

Added isDone, to be changed to true when the first "show" statement is inferred.

Assume can only be called after a show or another assume, so I added that condition.

Implemented mp,mt,and ic. Had to change things to adapt to Strings vs LineNumbers.