Adapt for Isabelle 2013-1.