kframework/k — pull request #1031 by dwightguth (2014-10-03 16:45:03+00:00)
Title: modularize maude backend as test case for the AbstractKModule class

**do not review yet**