ppolinsky/cs61bl-proof-checker — pull request #4 by chashemi (2013-07-26 00:01:20+00:00)
Title: Update Expression.java

Added a ~ condition to expHelper to include cases like (~(p=>q)).

Added isEquals cases to eliminate NullPointerExceptions