kframework/k — pull request #931 by bmmoore (2014-09-05 19:11:46+00:00)
Title: Maude list terminators from label also

Change also the Maude name of a list terminator to be based off the label of the separator (or the label attribute of the production) instead of the concrete syntax, extending pull request #904.