kframework/k — pull request #1218 by omarz1 (2014-12-01 18:44:15+00:00)
Title: Added Lower-Case and Upper-Case Identifiers

Just like the builtin Id is defined, I made LCId and UCId.