kframework/k — pull request #1262 by dwightguth (2014-12-15 18:26:08+00:00)
Title: draft of work on disjunctions

@andreistefanescu @yilongli please review

Note that this is just a temporary solution to get nested * cells running. @andreistefanescu will follow up with a diff that cleans up the implementation and makes it more uniform.