kframework/k — pull request #1230 by andreistefanescu (2014-12-03 01:43:35+00:00)
Title: Remove cell class

do not review yet