kframework/k — pull request #510 by traiansf (2014-05-28 22:42:07+00:00)
Title: Unified builtins fresh - Maude version

Handling the new fresh (constant) variables for the Maude backend.