further update of ScottsVersion in Isabelle/HOL