Added Coq file for Assembler