modifications of Isabelle/HOL files