kframework/c-semantics — pull request #52 by yilongli (2014-11-03 20:01:41+00:00)
Title: incomplete effort in proving avl_tree insert/delete

@andreistefanescu please review