kframework/k — pull request #1146 by yilongli (2014-11-03 20:02:13+00:00)
Title: Incomplete attempt to prove cil avl

@andreistefanescu please review