removed obsolete coq code
removed obsolete stuff