ppolinsky/cs61bl-proof-checker — pull request #10 by chashemi (2013-07-28 00:17:19+00:00)
Title: Update TheoremSet.java

Basic file, haven't implemented integration with ProofChecker/InputSource (TODO tonight).

Accumulates facts from input file until file is exhausted, then Proof.facts = TheoremSet.transfer()