kframework/k — pull request #342 by radumereuta (2014-04-08 19:06:44+00:00)
Title: Changed primitive states now create KApps of sort KItem instead of K.

Changed primitive states now create KApps of sort KItem instead of K.