more accurate documentation of record field update, following changes in Isabelle2007 and Isabelle2008;