kframework/k — pull request #971 by yilongli (2014-09-21 11:12:32+00:00)
Title: added hooks for operations andThenBool and orElseBool

fixed https://github.com/kframework/k/issues/970

@dwightguth please review