kframework/k — pull request #955 by dwightguth (2014-09-16 17:42:31+00:00)
Title: Delete unused files from repo

@traiansf @cos @yilongli @owolabileg Please review