kframework/k — pull request #855 by dwightguth (2014-08-18 18:15:39+00:00)
Title: add interface for k module system

@cos please review