vim syntax: Update Isabelle syntax.