kframework/k — pull request #249 by grosu (2014-02-27 02:24:30+00:00)
Title: Renamed and updated all the README files in Tutorial Part 3 (LAMBDA++)

I did not modify any line of code, so my pull request should have no effect on the test suite.