added missing file: Isabelle/HOL equivalent of the ./coq/*.v files;