[Improved some comments.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20081104140940] hunk ./Semantics/BigStep/CompilerCorrectness/Completeness.agda 2
--- The first and second part of the completeness proof
+-- Completeness
hunk ./Semantics/BigStep/CompilerCorrectness/Completeness.agda 36
--- The first and second part of the completeness proof
+-- Completeness