kframework/k — pull request #900 by dwightguth (2014-08-28 21:36:50+00:00)
Title: refactor DefinitionLoader and OuterParser to have more granular dependen...

...cies

@cos please review