Add Coq and Isabelle files related to List 2