Changed all \<^isub> to \<^sub> for compatibility to latest dev version of Isabelle