kframework/k — pull request #307 by andreistefanescu (2014-03-25 16:38:36+00:00)
Title: renamed theMain in Main and theObject in Object in kool; no need for Id2...

...String definition for Main or Object