added new files for isabelle integration