Add Coq and Isabelle sources.