kframework/k — pull request #1099 by dwightguth (2014-10-23 20:05:52+00:00)
Title: refactor and remove GlobalSettings.kem

**do not review yet**