kazu-yamamoto/llrbtree — pull request #2 by pirapira (2011-10-19 10:05:58+00:00)
Title: adding Coq version

* added comment (coq version)
* closed a section