kframework/k — pull request #1094 by yilongli (2014-10-23 04:57:24+00:00)
Title: Cleanup ml prover 5

@dwightguth @andreistefanescu please review