added file for proof stuff for Isabelle