kframework/k — pull request #540 by yilongli (2014-06-03 02:54:36+00:00)
Title: fixing tutorial/4_imp++/lesson_1 && lesson_2

After fixing a small issue in the pretty printer, ```lesson_1``` && ```lesson_2``` of imp++ are fine. I took the liberty to replace the *.out files with the generated outputs. I have checked that they should be correct, but please double check anyway.

@grosu @dwightguth please review