update of Isabelle/HOL files