kframework/k — pull request #1091 by yilongli (2014-10-22 20:24:46+00:00)
Title: fixed operations andThenBool and orElseBool

fixing https://github.com/kframework/k/issues/1090

@dwightguth @andreistefanescu please review