kframework/k — pull request #1010 by yilongli (2014-09-28 02:24:47+00:00)
Title: minor cleanup of the matching logic prover

@andreistefanescu please review