kframework/k — pull request #1227 by dwightguth (2014-12-02 20:43:06+00:00)
Title: remove "remove preincluded rules" for rules in k definitions

**do not review yet**