kframework/k — pull request #1062 by yilongli (2014-10-11 01:46:36+00:00)
Title: Cleanup ml prover 3

do not review yet