ppolinsky/cs61bl-proof-checker — pull request #5 by chashemi (2013-07-26 00:06:15+00:00)
Title: Update LineNumber.java

Changed ArrayList from ln to nums because we often referred to ListNumbers as ln in Proof.