Coq code for the compiler.org project. Compile by coq_makefile -f _CoqProject -o Makefile make Using Coq master 2a7992f75.