kframework/k — pull request #1135 by dwightguth (2014-10-30 19:02:04+00:00)
Title: refactor io in smt prelude

@andreistefanescu please review