pre-final submission version of ScottsVersion in Isabelle/HOL