kframework/k — pull request #1016 by yilongli (2014-09-29 16:58:50+00:00)
Title: cleanup matching logic prover (work in progress)

not ready for review yet