kframework/k — pull request #1148 by dwightguth (2014-11-03 22:39:39+00:00)
Title: standardize auto included syntax module

**do not review yet**